Formal Verification With Frama-C: A Case Study in the Space Software Domain.
Rovedy Aparecida Busquim e SilvaNanci Naomi AraiLuciana Akemi BurgareliJosé Maria Parente de OliveiraJorge Sousa PintoPublished in: IEEE Trans. Reliab. (2016)
Keyphrases
- formal verification
- model checking
- program slicing
- automated verification
- bounded model checking
- model checker
- software development
- case study
- cross domain
- software architecture
- domain specific
- domain independent
- source code
- symbolic model checking
- user interface
- search space
- domain experts
- test cases
- domain knowledge
- artificial intelligence
- functional verification