Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time.
Steffen SmolkaNate FosterJustin HsuTobias KappéDexter KozenAlexandra SilvaPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- test generation
- symbolic execution
- hardware designs
- propositional logic
- model checking
- regular expressions
- worst case
- data model
- fixpoint
- query language
- relational algebra
- computer programs
- programming environment
- real numbers
- fixed point
- test cases
- face verification
- first order logic
- test suite
- logic programming
- signature verification
- source code
- relational databases