Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
From MaRDI portal
Publication:457250
DOI10.1007/s10472-014-9408-8zbMath1298.68063OpenAlexW2095473904MaRDI QIDQ457250
Klaus Havelund, Alex Groce, Rajeev Joshi, Ru-Gang Xu, Gerard J. Holzmann
Publication date: 26 September 2014
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-014-9408-8
Software, source code, etc. for problems pertaining to fluid mechanics (76-04) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Learning regular sets from queries and counterexamples
- Isabelle/HOL. A proof assistant for higher-order logic
- Software is different
- Java-MaC: A run-time assurance approach for Java programs
- A mini challenge: build a verifiable filesystem
- Types, bytes, and separation logic
- Introduction to Software Testing
- Rule Systems for Run-time Monitoring: from EAGLE to RULER
- Symbolic execution and program testing
- Testing Programs with the Aid of a Compiler
- Lazy abstraction
- Model Checking Software
- Tools and Algorithms for the Construction and Analysis of Systems
- Theory and Applications of Satisfiability Testing
- Extending Model Checking with Dynamic Analysis
- On the Synthesis of Finite-State Machines from Samples of Their Behavior
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for publication: Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
