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

[Lecture Notes in Computer Science] Model Checking Software Volume 7385 || McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking

โœ Scribed by Donaldson, Alastair; Parker, David


Book ID
120172857
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
317 KB
Category
Article
ISBN
3642317596

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Comp
โœ Etessami, Kousha; Rajamani, Sriram K. ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 87 KB

This Volume Contains The Proceedings Of The International Conference On Computer Aided Veri?cation (cav), Held In Edinburgh, Scotland, July 6โ€“10, 2005. Cav 2005 Was The Seventeenth In A Series Of Conferences Dedicated To The Advancement Of The Theory And Practice Of Computer-assisted Formal An- Ysis