TOOLympics 2019: An Overview of Competitions in Formal Methods

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21730%2F19%3A00337651" target="_blank" >RIV/68407700:21730/19:00337651 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1007/978-3-030-17502-3_1" target="_blank" >https://doi.org/10.1007/978-3-030-17502-3_1</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-17502-3_1" target="_blank" >10.1007/978-3-030-17502-3_1</a>

Result language
angličtina
Original language name
TOOLympics 2019: An Overview of Competitions in Formal Methods
Original language description
Evaluation of scientific contributions can be done in many different ways. For the various research communities working on the verification of systems (software, hardware, or the underlying involved mechanisms), it is important to bring together the community and to compare the state of the art, in order to identify progress of and new challenges in the research area. Competitions are a suitable way to do that. The first verification competition was created in 1992 (SAT competition), shortly followed by the CASC competition in 1996. Since the year 2000, the number of dedicated verification competitions is steadily increasing. Many of these events now happen regularly, gathering researchers that would like to understand how well their research prototypes work in practice. Scientific results have to be reproducible, and powerful computers are becoming cheaper and cheaper, thus, these competitions are becoming an important means for advancing research in verification technology. TOOLympics 2019 is an event to celebrate the achievements of the various competitions, and to understand their commonalities and differences. This volume is dedicated to the presentation of the 16 competitions that joined TOOLympics as part of the celebration of the 25th anniversary of the TACAS conference.
Czech name
—
Czech description
—

Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019.
ISBN
978-3-030-17501-6
ISSN
0302-9743
e-ISSN
1611-3349
Number of pages
22
Pages from-to
3-24
Publisher name
Springer, Cham
Place of publication
—
Event location
Prague
Event date
Apr 6, 2019
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000681183400001

Similar results(10)