Tools and Algorithms for the Construction and Analysis of Systems - Tapa blanda

Biere, Armin; Parker, David

 
9781013277184: Tools and Algorithms for the Construction and Analysis of Systems
Tapa blanda
ISBN 10: 101327718X ISBN 13: 9781013277184
Editorial: Saint Philip Street Press, 2020

Sinopsis

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work’s license are retained by the author or authors.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Saint Philip Street Press
Año de publicación
2020
Idioma
Inglés
ISBN 10 
101327718X
ISBN 13 
9781013277184
Encuadernación
Tapa blanda
Número de páginas
516
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9781013277214: Tools and Algorithms for the Construction and Analysis of Systems

Edición Destacada

ISBN 10:  101327721X ISBN 13:  9781013277214
Editorial: Saint Philip Street Press, 2020
Tapa dura