default search action

combined dblp search
author search
venue search
publication search

ask others

TOOLympics@ETAPS 2023: Paris, France

> Home > Conferences and Workshops > TOOLympics
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/toolympics/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/toolympics/2023
Dirk Beyer, Arnd Hartmanns, Fabrice Kordon:
TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions, TOOLympics 2023, Paris, France. Lecture Notes in Computer Science 14550, Springer 2024, ISBN 978-3-031-67694-9
- view
  authority control:
- export record
  dblp key:
  - conf/toolympics/AbateABEFGJMMSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/toolympics/AbateABEFGJMMSS23
Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T. Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp, Sadegh Soudjani:
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. 1-37
- view
  authority control:
- export record
  dblp key:
  - conf/toolympics/AngelisK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/toolympics/AngelisK23
Emanuele De Angelis, Hari Govind Vediramana Krishnan:
Competition of Solvers for Constrained Horn Clauses (CHC-COMP 2023). 38-51
- view
  authority control:
- export record
  dblp key:
  - conf/toolympics/AmatABBDHJJKLPP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/toolympics/AmatABBDHJJKLPP23
Nicolas Amat, Elvio G. Amparore, Bernard Berthomieu, Pierre Bouvier, Silvano Dal-Zilio, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Shuo Li, Emmanuel Paviot-Adet, Laure Petrucci, Jirí Srba, Yann Thierry-Mieg, Karsten Wolf:
Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. 52-89
- view
  authority control:
- export record
  dblp key:
  - conf/toolympics/AndriushchenkoB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/toolympics/AndriushchenkoB23
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang:
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. 90-146
- view
  authority control:
- export record
  dblp key:
  - conf/toolympics/DenisS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/toolympics/DenisS23
Xavier Denis, Stephen F. Siegel:
VerifyThis 2023: An International Program Verification Competition. 147-159
- view
  authority control:
- export record
  dblp key:
  - conf/toolympics/AhrendtEHHMUW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/toolympics/AhrendtEHHMUW23
Wolfgang Ahrendt, Gidon Ernst, Paula Herber, Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl:
The VerifyThis Collaborative Long-Term Challenge Series. 160-170

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.