Formal Methods Diffusion: Past Lessons and Future Prospects.
Robin E. BloomfieldDan CraigenFrank KoobMarkus UllmannStefan WittmannPublished in: SAFECOMP (2000)
Keyphrases
- formal methods
- formal analysis
- model checking
- knowledge based systems
- artificial intelligence
- software engineering
- temporal properties
- lessons learned
- formal specification
- safety critical
- model checker
- anisotropic diffusion
- diffusion process
- provably correct
- real world
- past experience
- modeling language
- fine grained
- business processes