Partially Bounded Context-Aware Verification

DOI10.1007/978-3-030-30446-1_28MaRDI QIDQ6488991

Unnamed Author, Unnamed Author

Publication date: 14 March 2024

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combining partial-order reductions with on-the-fly model-checking.
• Symbolic model checking: \(10^{20}\) states and beyond
• Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Bounded model checking using satisfiability solving

This page was built for publication: Partially Bounded Context-Aware Verification