A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.
Alessandro CimattiFausto GiunchigliaPaolo PecchiariBruno PietraJoe ProfetaDario RomanoPaolo TraversoBing YuPublished in: CAV (1997)
Keyphrases
- safety critical
- provably correct
- formal methods
- embedded systems
- nuclear power plant
- safety analysis
- software intensive systems
- model checking
- low cost
- formal specification
- knowledge based systems
- software systems
- fault tolerant
- artificial intelligence
- regulatory requirements
- modeling language
- software engineering
- agent architecture
- database applications
- support systems
- monitoring system
- decision support
- cooperative
- machine learning
- software engineering practices