Login / Signup
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time.
Steffen Smolka
Nate Foster
Justin Hsu
Tobias Kappé
Dexter Kozen
Alexandra Silva
Published in:
CoRR (2019)
Keyphrases
</>
test generation
symbolic execution
data model
hardware designs
model checking
propositional logic
query language
worst case
formal verification
algebraic structure
test cases
regular expressions
computer programs
multiple choice
algebraic expressions
database
relational algebra
knowledge base