Finite Countermodel Based Verification for Program Transformation (A Case Study).

Alexei P. Lisitsa Andrei P. Nemytykh

Published in: VPT@ETAPS (2015)

Keyphrases

symbolic execution
model checking
hardware designs
linear transformation
social networks
case study
software engineering
relational databases
test bed
finite number
computer programs
face verification
finite automata
test generation
control program
verification method
e learning
concurrent systems
real world