, an Institution-Based Formal Specification and Verification Language.
Razvan DiaconescuPublished in: Logica Universalis (2020)
Keyphrases
- formal specification
- specification language
- model checking
- model checker
- process algebra
- concurrent systems
- formal methods
- data abstraction
- specification languages
- protocol specification
- temporal logic
- formal specification language
- object oriented design
- grid workflow
- formal verification
- reverse engineering
- asynchronous circuits
- artificial intelligence
- programming language
- bounded model checking
- response time
- object oriented
- computation tree logic