State/Event Software Verification for Branching-Time Specifications

DOI10.1007/11589976_5zbMath1137.68432OpenAlexW2119824166MaRDI QIDQ5429308

Tayssir Touili, Helmut Veith, Joël Ouaknine, Sagar Chaki, Natasha Sharygina, Orna Grumberg, Edmund M. Clarke

Publication date: 29 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11589976_5

zbMATH Keywords

Automated Abstraction RefinementBranching-time Temporal LogicConcurrent Software Model CheckingState/Event-based Verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Unnamed Item ⋮ Temporal property verification as a program analysis task ⋮ A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting ⋮ Compositional verification and 3-valued abstractions join forces

Uses Software

• ComFoRT
• MAGIC

This page was built for publication: State/Event Software Verification for Branching-Time Specifications