Language-agnostic specification and verification: invited talk.
Manuel FähndrichPublished in: PLPV (2009)
Keyphrases
- invited talk
- specification language
- formal verification
- formal language
- programming language
- knowledge discovery and data mining
- asynchronous circuits
- model checking
- language learning
- formal specification
- formal methods
- selected papers
- action language
- formal languages
- operational semantics
- natural language
- definition language
- conceptual model
- high level
- protocol specification
- databases
- program committee
- real world
- acm sigmod
- description language
- concurrent systems
- linear temporal logic