๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Computer Aided Verification Volume 6174 || ABC: An Academic Industrial-Strength Verification Tool

โœ Scribed by Touili, Tayssir; Cook, Byron; Jackson, Paul

Book ID
120582724
Publisher
Springer Berlin Heidelberg
Year
2010
Weight
276 KB
Category
Article
ISBN
3642142958

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || The d/dt Tool for Verification of Hybrid Systems
โœ Brinksma, Ed; Larsen, Kim Guldstrand ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 114 KB

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for