Abstracting Models from Execution Traces for Performing Formal Verification
From MaRDI portal
Publication:5305770
DOI10.1007/978-3-642-10619-4_18zbMath1185.68408OpenAlexW2129374824MaRDI QIDQ5305770
Thierry Bodhuin, Federico Pagnozzi, Maria Tortorella, Maria Luisa Villani, Antonella Santone
Publication date: 23 March 2010
Published in: Advances in Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-10619-4_18
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
Cites Work
- Unnamed Item
- A transformation system for concurrent processes
- Selective mu-calculus and formula-based equivalence of transition systems
- A Transformation System for Developing Recursive Programs
- Transformation of logic programs: Foundations and techniques
- Abstracting Models from Execution Traces for Performing Formal Verification
This page was built for publication: Abstracting Models from Execution Traces for Performing Formal Verification