Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers.
Céline BellangerPierre-Loïc GarocheMatthieu MartelCélia PicardPublished in: CoRR (2023)
Keyphrases
- formal specification
- model checking
- computation tree logic
- concurrent systems
- formal methods
- model checker
- temporal logic
- protocol specification
- specification languages
- specification language
- formal verification
- bounded model checking
- object oriented design
- process algebra
- data abstraction
- reverse engineering
- grid workflow
- multi agent
- database
- building blocks
- software development
- epistemic logic
- data model
- database systems
- high level