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 | BibTeX | Link (pdf) |
|
[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 | BibTeX | Link (pdf) |