1. J. Adamek T. Bures P. Jezek J. Kofron V. Mencl P. Parizek and F. Plasil. Component Reliability Extensions for Fractal Component Model. http://d3s.mff.cuni.cz/projects/formal_methods/ft/ 2006. J. Adamek T. Bures P. Jezek J. Kofron V. Mencl P. Parizek and F. Plasil. Component Reliability Extensions for Fractal Component Model. http://d3s.mff.cuni.cz/projects/formal_methods/ft/ 2006.
2. T.
Ball
and
S. K.
Rajamani
.
Bebop: A symbolic model checker for boolean programs
. In K. Havelund J. Penix and W. Visser editors SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford CA USA August 30 - September 1 2000 Proceedings volume
1885
of
Lecture Notes in Computer Science pages
113
--
130
.
Springer 2000. T. Ball and S. K. Rajamani. Bebop: A symbolic model checker for boolean programs. In K. Havelund J. Penix and W. Visser editors SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford CA USA August 30 - September 1 2000 Proceedings volume 1885 of Lecture Notes in Computer Science pages 113--130. Springer 2000.
3. Lecture Notes in Computer Science;Bozga M.,1999
4. CoCoME in Fractal