Formal Specification and Verification for Organization-based systems : A Survey.
Samra SabegToufik Messaoud MaaroukMohammed El Habib SouidiPublished in: PAIS (2022)
Keyphrases
- formal specification
- formal methods
- model checking
- asynchronous circuits
- concurrent systems
- specification languages
- process algebra
- distributed systems
- model checker
- building blocks
- grid workflow
- reverse engineering
- specification language
- object oriented design
- protocol specification
- database
- modeling language
- temporal logic
- cooperative