✦ LIBER ✦

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 2031 || Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams

✍ Scribed by Margaria, Tiziana; Yi, Wang

Book ID: 111938338
Publisher: Springer Berlin Heidelberg
Year: 2001
Weight: 309 KB
Category: Article
ISBN: 3540418652
DOI: 10.1007/3-540-45319-9_32

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || A tool to support formal reasoning about computer languages

✍ Brinksma, Ed 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 918 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 4963 || Z3: An Efficient SMT Solver

✍ Ramakrishnan, C. R.; Rehof, Jakob 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 244 KB

This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 6015 || Simple O(m logn) Time Markov Chain Lumping

✍ Esparza, Javier; Majumdar, Rupak 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 258 KB