Contributions of model checking and CoFI methodology to the development of space embedded software.
Rodrigo Pastl PontesPaulo Claudino VérasAna Maria AmbrosioEmília VillaniPublished in: Empir. Softw. Eng. (2014)
Keyphrases
- model checking
- embedded software
- temporal logic
- development projects
- embedded systems
- model checker
- formal verification
- software architecture
- automated verification
- formal specification
- temporal properties
- symbolic model checking
- epistemic logic
- bounded model checking
- formal methods
- timed automata
- software engineering
- sequence diagrams
- computation tree logic
- transition systems
- low cost
- alternating time temporal logic
- database
- development process
- design process
- case study