✦ LIBER ✦

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 7795 || An Overview of the mCRL2 Toolset and Its Recent Advances

✍ Scribed by Piterman, Nir; Smolka, Scott A.

Book ID: 121310208
Publisher: Springer Berlin Heidelberg
Year: 2013
Weight: 211 KB
Category: Article
ISBN: 3642367429
DOI: 10.1007/978-3-642-36742-7_15

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 7795 || Policy Analysis for Self-administrated Role-Based Access Control

✍ Piterman, Nir; Smolka, Scott A. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 280 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 7795 || Deriving Probability Density Functions from Probabilistic Functional Programs

✍ Piterman, Nir; Smolka, Scott A. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 288 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 7795 || Model Checking Agent Knowledge in Dynamic Access Control Policies

✍ Piterman, Nir; Smolka, Scott A. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 407 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1055 || The Fc2Tools set (tool demonstration)

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 51 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 7214 || Automated Analysis of AODV Using UPPAAL

✍ Flanagan, Cormac; König, Barbara 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 277 KB