Login / Signup
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs.
Bart Jacobs
Jan Smans
Frank Piessens
Wolfram Schulte
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
knowledge base
real time
answer set programming
default reasoning
spatial reasoning
reasoning process
model based reasoning
tree traversal