Model checking of safety properties
From MaRDI portal
Publication:5949490
DOI10.1023/A:1011254632723zbMath0995.68061MaRDI QIDQ5949490
Moshe Y. Vardi, Orna Kupferman
Publication date: 4 April 2002
Published in: Formal Methods in System Design (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items