A hoare calculus for the verification of synchronous languages.
Manuel GesellKlaus SchneiderPublished in: PLPV (2012)
Keyphrases
- expressive power
- formal language
- database query languages
- model checking
- language independent
- type checking
- databases
- functional verification
- computer algebra
- verification method
- provably correct
- language identification
- formal verification
- grammatical inference
- formal methods
- text summarization
- signature verification
- relational calculus
- query translation
- cross lingual
- artificial intelligence
- false acceptance rate
- process algebra
- neural network
- number restrictions
- linear time temporal logic
- data sets