A Review of Applications of Formal Specification in Safety-Critical System Development.
Emanuel S. GrantSmruti Priyambada NandaPublished in: ICCDA (2020)
Keyphrases
- safety critical
- formal methods
- formal specification
- model checking
- process algebra
- safety analysis
- knowledge based systems
- object oriented design
- fault tolerant
- model checker
- specification language
- support systems
- artificial intelligence
- agent architecture
- reverse engineering
- software engineering
- case study
- software components
- open source
- knowledge base