Abstracting Models from Execution Traces for Performing Formal Verification

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

zbMATH Keywords

model checkingCCSbytecoderuntime instrumentation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Abstracting Models from Execution Traces for Performing Formal Verification

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