Login / Signup
VeriAgent: an Approach to Integrating UML and Formal Verification Tools.
Edjard Mota
Edmund M. Clarke
Alex Groce
Waleska Oliveira
Marcia Falcão
Jorge Y. Kanda
Published in:
Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
</>
formal verification
model checking
formal methods
model checker
bounded model checking
automated verification
symbolic model checking
tool support
uml models
database design
software tools
end users
software engineering
design decisions
knowledge acquisition
object oriented
class diagrams
expert systems