Reo2PVS: Formal Specification and Verification of Component Connectors.
M. Saqib NawazMeng SunPublished in: SEKE (2018)
Keyphrases
- formal specification
- model checking
- formal verification
- timed automata
- concurrent systems
- model checker
- formal methods
- software components
- temporal logic
- specification language
- specification languages
- process algebra
- object oriented design
- protocol specification
- data abstraction
- bounded model checking
- grid workflow
- reverse engineering
- computation tree logic
- epistemic logic
- cooperative
- database
- formal specification language
- theorem proving
- petri net
- high level
- artificial intelligence
- real world