Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors
Marc DaumasDavid R. LesterPublished in: CoRR (2006)
Keyphrases
- formal methods
- rare events
- artificial intelligence
- formal analysis
- model checking
- safety critical
- component failures
- knowledge based systems
- event detection
- formal specification
- model checker
- temporal properties
- provably correct
- software engineering
- process algebra
- development lifecycle
- machine learning
- monte carlo
- event sequences
- natural language
- failure modes
- reactive systems