Verification of Picture Generated Code.

Colin O'Halloran Alf Smith

Published in: ASE (1999)

Keyphrases

model checking
information systems
automatically generated
signature verification
automatically generating
concurrent systems
artificial intelligence
decision trees
bayesian networks
relational databases
randomly selected
formal analysis
formal verification