Cover Image

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III /

Show other versions (2)

This book is Open Access under a CC BY licence. .

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Beyer, Dirk (Editor), Huisman, Marieke (Editor), Kordon, Fabrice (Editor), Steffen, Bernhard (Editor)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:1st ed. 2019.
Series:Theoretical Computer Science and General Issues, 11429
Subjects:
Computer science.
Software engineering.
Machine theory.
Computers.
Professions.
Electronic digital computers > Evaluation.
Computer simulation.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Formal Languages and Automata Theory.
The Computing Profession.
System Performance and Evaluation.
Computer Modelling.
Online Access:Link to Metadata
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • TOOLympics 2019: An Overview of Competitions in Formal Methods
  • Confluence Competion 2019
  • International Competition on Runtime Verification (CRV)
  • The Model Checking Contest (2019)
  • The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models
  • The Rewrite Engines Competitions: A RECtrospective
  • RERS 2019: Combining Synthesis with Real-World Models
  • SL-COMP: Competition of Solvers for Separation Logic
  • Automatic Verification of C and Java Programs: SV-COMP 2019
  • The Termination and Complexity Competition
  • Competition on Software Testing (Test-Comp)
  • VerifyThis - Verification Competition with a Human Factor
  • SV-COMP 2019
  • CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution)
  • Extending DIVINE with Symbolic Verification using SMT (Competition Contribution)
  • ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution)
  • JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
  • JayHorn: A Java Model Checker (Competition Contribution)
  • Java Pathfinder at SV-COMP 2019
  • Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution)
  • PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution)
  • Symbolic Pathfinder for SV-COMP
  • VeriFuzz: Program Aware Fuzzing
  • VIAP 1.1 (Competition Contribution).

Similar Items