Coverage metrics for temporal logic model checking
From MaRDI portal
Publication:853721
DOI10.1007/s10703-006-0001-6zbMath1105.68075MaRDI QIDQ853721
Moshe Y. Vardi, Orna Kupferman, Hana Chockler
Publication date: 17 November 2006
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.1552
68Q65: Abstract data types; algebraic specification
Uses Software