OXFORD UNIVERSITY COMPUTING LABORATORY

Tomasz Mazur: Publications

by date |  by title |  by type |  bibtex

[1]

Formal verification of not fully symmetric systems using counter abstraction

Tomasz Mazur

In Proceedings of the MOdelling and VErifying Process (MOVEP'08) 2008.

[2]

Counter Abstraction in the CSP/FDR setting

Tomasz Mazur, Gavin Lowe

In Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems (AVoCS'07) 2007.

Random Image
Random Image
Random Image