Verification of Sets of Infinite State Processes Using Program Transformation.

Fabio Fioravanti Alberto Pettorossi Maurizio Proietti

Published in: LOPSTR (2001)

Keyphrases

computer programs
symbolic execution
model checking
static analysis
set theoretic
database systems
learning environment
programming language
test cases
computational models
face verification
linear transformation
program execution
hardware designs