From pre-historic to post-modern symbolic model checking
From MaRDI portal
Publication:1878908
DOI10.1023/A:1026228213080zbMath1074.68036MaRDI QIDQ1878908
Orna Kupferman, Thomas A. Henzinger, Shaz Qadeer
Publication date: 9 September 2004
Published in: Formal Methods in System Design (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software