State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements.
Camille SalinesiAsmaa AchtaichNissrine SouissiRaúl MazoOunsa RoudièsÁngela VillotaPublished in: J. Integr. Des. Process. Sci. (2021)
Keyphrases
- formal specification
- specification language
- process algebra
- specification languages
- object oriented design
- data abstraction
- formal specification language
- model checking
- programming language
- reverse engineering
- grid workflow
- state transition
- formal methods
- concurrent systems
- natural language
- protocol specification
- cooperative
- software components
- asynchronous circuits
- design methodologies
- multi agent systems