Tomasz Mazur : Publications

Conference papers

• [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