Computer Aided Verification

DOI10.1007/B98490MaRDI QIDQ5312929zbMATH OpenOpenAlexFDO

Authors Paula J. Pingree, Erich Mikk

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98490

zbMATH Keywords

model checkingtranslationSpinStateflowstate-charts

Mathematics Subject Classification ID

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

Recommendations

• Publication:4934532
• Extending Model Checking with Dynamic Analysis
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
• scientific article; zbMATH DE number 1544531
• The code validation tool (CVT). Automatic verification of a compilation process

Cited in

(2)

• DisCo Toolset -- the new generation
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning

Describes a project that uses

Uses Software

• HiVy
• SPIN
• StateFlow
• PROMELA

This page was built for publication: Computer Aided Verification

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