Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk).
Alexandra SilvaPublished in: MFCS (2019)
Keyphrases
- invited talk
- symbolic execution
- test generation
- selected papers
- knowledge discovery and data mining
- hardware designs
- regular expressions
- relational algebra
- model checking
- query answering
- worst case
- query language
- propositional logic
- program committee
- neural network
- fixed point
- database
- data model
- formal verification
- data mining