Early verification and validation of mission critical systems

DOI10.1007/S10703-006-0028-8MaRDI QIDQ883137zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Software Verification and Analysis
• Mechanizing Mathematical Reasoning
• Verified squared, does critical software deserve verified tools?
• Software Verification and Validation
• Publication:4934532

Cites work

• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• Goal-directed requirements acquisition
• Specifying message passing and time-critical systems with temporal logic

Cited in

(2)

• scientific article; zbMATH DE number 2033523 (Why is no real title available?)
• A high-level requirements engineering methodology for electronic system-level design

Describes a project that uses

Uses Software

• NuSMV

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q883137)