Early verification and validation of mission critical systems

DOI10.1007/S10703-006-0028-8zbMath1116.68053OpenAlexW2088843301MaRDI QIDQ883137

N. E. Zubov

Publication date: 31 May 2007

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-006-0028-8

zbMATH Keywords

AnimationModel-checkingGoal modellingMonitoringRequirements engineeringVerification and validation

Mathematics Subject Classification ID

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

Uses Software

• NuSMV

Cites Work

• Specifying message passing and time-critical systems with temporal logic
• Goal-directed requirements acquisition
• Unnamed Item
• Unnamed Item

This page was built for publication: Early verification and validation of mission critical systems