id:"swepub:oai:DiVA.org:uu-396455"
Search: id:"swepub:oai:DiVA.org:uu-396455" > TOOLympics 2019 :
- 1 of 1
- Previous record
- Next record
- To hitlist
TOOLympics 2019 : An overview of competitions in formal methods
- Bartocci, Ezio (author)
- Beyer, Dirk (author)
- Black, Paul E. (author)
- show more...
- Fedyukovich, Grigory (author)
- Garavel, Hubert (author)
- Hartmanns, Arnd (author)
- Huisman, Marieke (author)
- Kordon, Fabrice (author)
- Nagele, Julian (author)
- Sighireanu, Mihaela (author)
- Steffen, Bernhard (author)
- Suda, Martin (author)
- Sutcliffe, Geoff (author)
- Yamada, Akihisa (author)
- show less...
- (creator_code:org_t)
- 2019-04-04
- 2019
- English.
- In: Tools and Algorithms for the Construction and Analysis of Systems. - Cham : Springer. - 9783030175016 ; , s. 3-24
- Conference paper (peer-reviewed)
Abstract
Subject headings
Close
- 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 25?ℎ anniversary of the TACAS conference.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
- Tools and Algorithms for the Construction and Analysis of Systems (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Bartocci, Ezio
- Beyer, Dirk
- Black, Paul E.
- Fedyukovich, Gri ...
- Garavel, Hubert
- Hartmanns, Arnd
- show more...
- Huisman, Marieke
- Kordon, Fabrice
- Nagele, Julian
- Sighireanu, Miha ...
- Steffen, Bernhar ...
- Suda, Martin
- Sutcliffe, Geoff
- Weber, Tjark
- Yamada, Akihisa
- show less...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- Tools and Algori ...
- By the university
- Uppsala University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
