CSeq: A concurrency pre-processor for sequential C verification tools.

Bernd Fischer Omar Inverso Gennaro Parlato

Published in: ASE (2013)

Keyphrases

functional verification
decision support
formal methods
real time
neural network
model checking
software tools
database systems
end users
high speed
building blocks
software systems
signature verification
high end