Linking Formal Methods in Software Development - A Reflection on the Development of rCOS.
Zhiming LiuPublished in: Theories of Programming and Formal Methods (2023)
Keyphrases
- formal methods
- development lifecycle
- software development
- software engineering
- knowledge based systems
- safety critical
- development process
- formal analysis
- software developers
- case study
- model checking
- software testing
- software systems
- provably correct
- formal specification
- artificial intelligence
- software development projects
- modeling language
- early phase
- model checker
- process algebra
- requirements engineering
- knowledge acquisition
- machine learning
- formal specification language
- databases
- development methodologies
- security properties
- data mining