Tool-Based Verification of a Relational Vertex Coloring Program.

Rudolf Berghammer Peter Höfner Insa Stucke

Published in: RAMiCS (2015)

Keyphrases

symbolic execution
test cases
relational data
software tools
hardware designs
asynchronous circuits
neural network
artificial intelligence
information systems
relational databases
model checking
user friendly
formal methods
signature verification
control program
search based software testing