Verification by Parallelization of Parametric Code.

Tobias Gedell Reiner Hähnle

Published in: Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)

Keyphrases

source code
model checking
artificial intelligence
parallel processing
asynchronous circuits
database
data flow
signature verification
byte code
real time
database systems
parametric models
person identification
symbolic execution