The role of abstraction in model checking

DOI10.1007/978-3-031-31476-6_8zbMath1529.68157MaRDI QIDQ6175108

Pedro Merino, María del Mar Gallardo, Laura Panizo

Publication date: 17 August 2023

Published in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Model checking dynamic memory allocation in operating systems
• Model checking JAVA programs using JAVA PathFinder
• A generalized semantics of PROMELA for abstract model checking
• Model Checking Software
• Model Checking Software

This page was built for publication: The role of abstraction in model checking