Contract Specification and Verification: Experience with the Symboleo Language (abstract).
Daniel AmyotPublished in: VMBO (2021)
Keyphrases
- specification language
- formal verification
- high level
- asynchronous circuits
- formal methods
- programming language
- formal language
- protocol specification
- state machines
- formal specification
- natural language
- user experience
- formal languages
- model checking
- language learning
- action language
- operational semantics
- model checker
- reactive systems
- language constructs
- exception handling
- higher level
- modelling language
- verification method
- neural network
- conceptual model
- formal semantics
- knowledge level
- face verification
- description language
- modeling language