Adalberto Farias

Publication Activity (10 Years)

Years Active: 2004-2015
Publications (10 Years): 0

Top Topics

Formal Specification

Rapid Prototyping

Top Venues

Formal Aspects Comput.

Publications

Alexandre Mota, Adalberto Farias, Jim Woodcock, Peter Gorm Larsen
Model checking CML: tool development and industrial applications. Formal Aspects Comput. 27 (5-6) (2015)
Alexandre Mota, Adalberto Farias, André Didier, Jim Woodcock
Rapid Prototyping of a Semantically Well Founded Circus Model Checker. SEFM (2014)
Adriana Damasceno, Adalberto Farias, Alexandre Mota
A Mechanized Strategy for Safe Abstraction of CSP Specifications. SBMF (2009)
André Didier, Adalberto Farias, Alexandre Mota
Checking Z Data Refinements Using Traces Refinement. Electron. Notes Theor. Comput. Sci. 240 (2009)
Adalberto Farias, Alexandre Cabral Mota, Augusto Sampaio
Compositional Abstraction of CSPZ Processes. J. Braz. Comput. Soc. 14 (2) (2008)
Adalberto Farias, Alexandre Mota, Augusto Sampaio
Data Abstraction. IFM (2004)