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 journalConference articlepeer-review

12 Scopus citations


The mathematical notations of Formal Verification Tools (FVTs) do not prevent us from wrongly defining the behavior of systems, any more than modern CASE tools do. With software rapidly growing in size and complexity, graphical specifications in languages like UML need to be formally verified, before the implementation phase, in order to guarantee the development of more reliable systems. While the enterprise of integrating CASE and FVTs has had reasonable success with the translation of simple diagrams to model checkers' notations, there has been few progress regarding the fundamental aspects an interface should have to fully integrate them. In this work we present an interface for joining both technologies as a reliable solution to bridging this gap.

Original languageEnglish (US)
Pages (from-to)111-129
Number of pages19
JournalElectronic Notes in Theoretical Computer Science
StatePublished - May 17 2004
Externally publishedYes
EventProceedings of the Brazilian Workshop on Formal Methods - Campina Grande, Brazil
Duration: Oct 12 2003Oct 14 2003


  • Transformation
  • Verification Agent
  • Verification Tool

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


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

Cite this