Tomasz Mazur : Publications
-
[1]
Formal verification of not fully symmetric systems using counter abstraction
Tomasz Mazur
In Proceedings of the MOdelling and VErifying Process (MOVEP'08). 2008.
Details about Formal verification of not fully symmetric systems using counter abstraction | BibTeX data for Formal verification of not fully symmetric systems using counter abstraction | Download (pdf) of Formal verification of not fully symmetric systems using counter abstraction
-
[2]
Counter Abstraction in the CSP/FDR setting
Tomasz Mazur and Gavin Lowe
In Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems (AVoCS'07). 2007.
Details about Counter Abstraction in the CSP/FDR setting | BibTeX data for Counter Abstraction in the CSP/FDR setting | Download (pdf) of Counter Abstraction in the CSP/FDR setting