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

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

Detalles Bibliográficos
Otros Autores:	Beyer, Dirk (Editor ), Beyer, Dirk. editor (editor), Huisman, Marieke. editor, Kordon, Fabrice. editor, Steffen, Bernhard. editor
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	Cham : Springer International Publishing 2019.
Edición:	1st ed. 2019.
Colección:	Theoretical Computer Science and General Issues, 11429
Materias:	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.
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009430451706719

Tabla de Contenidos:

TOOLympics 2019: An Overview of Competitions in Formal Methods
Confluence Completion 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).

Ejemplares similares