Model Checking Software
From MaRDI portal
Publication:5899038
DOI10.1007/11691617zbMath1178.68346OpenAlexW2480617525MaRDI QIDQ5899038
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11691617
Stochastic systemssymbolic model checkingmodel checking softwareperformance and dependability analysis
Related Items
Uses Software