Adalberto Farias

According to our database1, Adalberto Farias authored at least 6 papers between 2004 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Model checking CML: tool development and industrial applications.
Formal Asp. Comput., 2015

2014
Rapid Prototyping of a Semantically Well Founded Circus Model Checker.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2009
Checking Z Data Refinements Using Traces Refinement.
Electron. Notes Theor. Comput. Sci., 2009

A Mechanized Strategy for Safe Abstraction of CSP Specifications.
Proceedings of the Formal Methods: Foundations and Applications, 2009

2008
Compositional Abstraction of CSPZ Processes.
J. Braz. Comp. Soc., 2008

2004
Efficient CSPZ Data Abstraction.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004


  Loading...