Project information
Automated formal verification using modern hardware
- Project Identification
- GP201/09/P497
- Project Period
- 1/2009 - 12/2011
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Postdoctoral projects
- MU Faculty or unit
- Faculty of Informatics
Publications
Total number of publications: 25
2012
-
Designing Fast LTL Model Checking Algorithms for Many-core GPUs
Journal of Parallel and Distributed Computing, year: 2012, volume: 72, edition: 9, DOI
-
On Expressing and Monitoring Oscillatory Dynamics
Electronic Proceedings in Theoretical Computer Science, year: 2012, volume: 2012, edition: 92, DOI
-
On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties
Science of Computer Programming, year: 2012, volume: 77, edition: 12, DOI
2011
-
Computing Optimal Cycle Mean in Parallel on CUDA
Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: 72, edition: 2011, DOI
-
Computing Strongly Connected Components in Parallel on CUDA
Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium, year: 2011
2010
-
A Symbolic Approach to Controlling Piecewise Affine Systems
Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), year: 2010
-
DiVinE 2.4
Year: 2010
-
DiVinE: Parallel Distributed Model Checker (Tool paper)
Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010), year: 2010
-
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Proceedings of 16th International Conference on Parallel and Distributed Systems (ICPADS 2010), year: 2010
-
Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement
Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), year: 2010