Formal verification of a partial-order reduction technique for model checking

DOI10.1023/A:1006225515062zbMath0943.68113OpenAlexW1904726244MaRDI QIDQ1961915

Ching-Tsun Chou, Doron A. Peled

Publication date: 30 January 2000

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1006225515062

zbMATH Keywords

formal verificationmodel checking

Mathematics Subject Classification ID

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

Uses Software

• HOL
• LCF

This page was built for publication: Formal verification of a partial-order reduction technique for model checking