Early verification and validation of mission critical systems

DOI10.1007/S10703-006-0028-8zbMATH Open1116.68053OpenAlexW2088843301MaRDI QIDQ883137FDOQ883137

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

Recommendations

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

zbMATH Keywords

AnimationModel-checkingGoal modellingMonitoringRequirements engineeringVerification and validation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Specifying message passing and time-critical systems with temporal logic
• Goal-directed requirements acquisition

Cited In (2)

• Title not available (Why is that?)
• A high-level requirements engineering methodology for electronic system-level design

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)