Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems.
Yann MoffettJürgen DingelAlain BeaulieuPublished in: IEEE Trans. Software Eng. (2013)
Keyphrases
- model checking
- embedded systems
- model driven development
- model checker
- temporal logic
- software systems
- protocol stack
- software development
- low cost
- embedded software
- formal verification
- real time systems
- software design
- formal methods
- formal specification
- software engineering
- model driven
- epistemic logic
- verification method
- commercial software
- symbolic model checking
- reactive systems
- lightweight
- computation tree logic
- platform independent
- service oriented
- service oriented architecture
- development process
- requirements engineering
- business processes
- alternating time temporal logic