Stochastic Formal Methods: An Application to Accuracy of Numeric Software.
Marc DaumasDavid R. LesterPublished in: HICSS (2007)
Keyphrases
- formal methods
- safety critical
- development lifecycle
- high accuracy
- provably correct
- model checking
- formal analysis
- formal specification
- software engineering
- knowledge based systems
- model checker
- reactive systems
- artificial intelligence
- modeling language
- software systems
- process algebra
- formal specification language
- security properties
- computational cost
- natural language
- software development
- source code
- expert systems