Scaling up Model-checking

DOI10.1007/978-1-4020-6254-4_21zbMath1215.68131OpenAlexW2282585061MaRDI QIDQ3564041

R. Venkatesh, Ulka Shrotri, Aniket Kulkarni, Ravindra Metta

Publication date: 2 June 2010

Published in: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-6254-4_21

zbMATH Keywords

randomly selected statecharts

Mathematics Subject Classification ID

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

This page was built for publication: Scaling up Model-checking