A Counterexample-Guided Refinement Tool for Open Procedural Programs.

Aleksandar S. Dimovski Dan R. Ghica Ranko Lazic

Published in: SPIN (2006)

Keyphrases

software tools
object oriented
formal verification
free software
databases
data mining
information systems
open source
analysis tool