Login / Signup
Decidable Verification of Uninterpreted Programs.
Umang Mathur
P. Madhusudan
Mahesh Viswanathan
Published in:
CoRR (2018)
Keyphrases
</>
symbolic execution
model checking
hardware designs
linear time temporal logic
signature verification
computation tree logic
programming environment
function symbols
data sets
neural network
genetic algorithm
computer programs
face verification