Login / Signup
Verification of Procedural Programs.
Amir Pnueli
Published in:
We Will Show Them! (2) (2005)
Keyphrases
</>
symbolic execution
model checking
hardware designs
face verification
automatic programming
neural network
information retrieval
high level
multi agent
software engineering
e learning
formal verification
search engine
program execution
verification method
artificial intelligence
concurrent systems
java bytecode