Tomasz Mazur
interests
I do research on the thoery of concurrency and computer-aided formal verification. As the main modeling language I use CSP (Communicating Sequential Processes), a process algebra invented by C.A.R. Hoare (you can download his book on the topic here and a more comprehensive Theory and Practice of Concurrency by Bill Roscoe here).
My major interests are the possible ways of extending the current abilities of computer-aided model checking using counter abstraction, counterexample-guided abstraction refinement, predicate abstraction, process division and others. At the moment I specifically look at possible automatic partial solutions to the undecidable Paramaterised Model Checking Problem (PMCP) and the more general Paramaterised Verification Problem (PVP).
links
Personal Webpage
publications
|
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) |
|
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.
Details
|
BibTeX
| Link (pdf) |
View all
info
location
Wolfson Building, Parks Road, Oxford OX1 3QD
|
