Stochastic Formal Methods: An application to accuracy of numeric software
Marc DaumasDavid R. LesterPublished in: CoRR (2006)
Keyphrases
- formal methods
- safety critical
- development lifecycle
- high accuracy
- formal specification
- software engineering
- artificial intelligence
- formal analysis
- knowledge based systems
- model checking
- model checker
- reactive systems
- provably correct
- software systems
- embedded systems
- computational cost
- user interface
- databases
- computer systems
- database
- software architecture
- temporal logic
- expert systems
- real world
- temporal properties