VeriAgent: An approach to integrating UML and formal verification tools

E. Mota, E. Clarke, A. Groce, W. Oliveira, M. Falcão, J. Kanda

Research output: Contribution to journal › Conference article › peer-review

12 Scopus citations

Fingerprint

Dive into the research topics of 'VeriAgent: An approach to integrating UML and formal verification tools'. Together they form a unique fingerprint.

Keyphrases

Computer Science