Efficient Explicit-State Model Checking on General Purpose Graphics Processors

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16164-3_8 ◽

2010 ◽

pp. 106-123 ◽

Author(s):

Stefan Edelkamp ◽

Damian Sulewski

Keyword(s):

Model Checking ◽

General Purpose ◽

State Model ◽

Graphics Processors

Download Full-text

Efficient Probabilistic Model Checking on General Purpose Graphics Processors

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02652-2_7 ◽

2009 ◽

pp. 32-49 ◽

Author(s):

Dragan Bošnački ◽

Stefan Edelkamp ◽

Damian Sulewski

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

General Purpose ◽

Probabilistic Model Checking ◽

Graphics Processors

Download Full-text

Parallel probabilistic model checking on general purpose graphics processors

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-010-0176-4 ◽

2010 ◽

Vol 13 (1) ◽

pp. 21-35 ◽

Author(s):

Dragan Bošnački ◽

Stefan Edelkamp ◽

Damian Sulewski ◽

Anton Wijs

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

General Purpose ◽

Probabilistic Model Checking ◽

Graphics Processors

Download Full-text

Explicit State Model Checking for Graph Grammars

Concurrency, Graphs and Models - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68679-8_8 ◽

2008 ◽

pp. 114-132 ◽

Author(s):

Arend Rensink

Keyword(s):

Model Checking ◽

State Model ◽

Download Full-text

Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors

BMC Bioinformatics ◽

10.1186/1471-2105-13-281 ◽

2012 ◽

Vol 13 (1) ◽

Author(s):

Dragan Bošnački ◽

Maximilian R Odenbrett ◽

Anton Wijs ◽

Willem Ligtenberg ◽

Peter Hilbers

Keyword(s):

Biological Networks ◽

General Purpose ◽

Graphics Processors ◽

Transitive Reduction

Download Full-text

Efficient reduction of finite state model checking to reachability analysis

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-003-0121-x ◽

2004 ◽

Vol 5 (2-3) ◽

pp. 185-204 ◽

Author(s):

Viktor Schuppan ◽

Armin Biere

Keyword(s):

Model Checking ◽

Reachability Analysis ◽

State Model ◽

Finite State Model ◽

Efficient Reduction ◽

Download Full-text

Wait-free programming for general purpose computations on graphics processors

Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing - PODC '08 ◽

10.1145/1400751.1400849 ◽

2008 ◽

Author(s):

Phuong Hoai Ha ◽

Philippas Tsigas ◽

Otto J. Anshus

Keyword(s):

General Purpose ◽

Graphics Processors

Download Full-text

Infinite State Model Checking with Arithmetic Constraints

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547697 ◽

2008 ◽

Author(s):

Tevfik Bultan

Keyword(s):

Model Checking ◽

State Model ◽

Download Full-text

Image-processing methods on general-purpose graphics processors with parallel architecture

Journal of Optical Technology ◽

10.1364/jot.79.000716 ◽

2012 ◽

Vol 79 (11) ◽

pp. 716

Author(s):

V. I. Filatov

Keyword(s):

Image Processing ◽

Parallel Architecture ◽

General Purpose ◽

Graphics Processors ◽

Processing Methods

Download Full-text

Image Computation in Infinite State Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27813-9_28 ◽

2004 ◽

pp. 361-371

Author(s):

Alain Finkel ◽

Jérôme Leroux

Keyword(s):

Model Checking ◽

State Model ◽

Image Computation ◽

Download Full-text

Distributed Explicit State Model Checking of Deadlock Freedom

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39799-8_16 ◽

2013 ◽

pp. 235-241 ◽

Author(s):

Brad Bingham ◽

Jesse Bingham ◽

John Erickson ◽

Mark Greenstreet

Keyword(s):

Model Checking ◽

State Model ◽

Deadlock Freedom

Download Full-text