Model checking with bounded context switching

DOI10.1007/s00165-010-0160-5zbMath1216.68161OpenAlexW2058600430MaRDI QIDQ539429

Gerard J. Holzmann, Mihai Florian

Publication date: 30 May 2011

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-010-0160-5

zbMATH Keywords

depth-first searchsoftware verificationpartial order reductionbitstate hashingbounded context-switchinglogic model checking

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 (1)

Explicit-State Model Checking

Uses Software

• SPIN

Cites Work

• Unnamed Item
• Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
• Space/time trade-offs in hash coding with allowable errors
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Model checking with bounded context switching