A hierarchy of temporal properties (invited paper, 1989)
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Memory-efficient algorithms for the verification of temporal properties
Formal Methods in System Design - Special issue on computer-aided verification: general methods
Simple, fast, and practical non-blocking and blocking concurrent queue algorithms
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
IEEE Transactions on Parallel and Distributed Systems
Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Is There a Best Symbolic Cycle-Detection Algorithm?
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Scalable lock-free dynamic memory allocation
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
CTL* model checking on a shared-memory architecture
Formal Methods in System Design
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Distributed explicit fair cycle detection: set based approach
SPIN'03 Proceedings of the 10th international conference on Model checking software
DiVinE: a tool for distributed verification
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
A Stack-Slicing Algorithm for Multi-Core Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Shared Hash Tables in Parallel Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
A case study for monitoring-oriented programming in multi-core architecture
Proceedings of the 1st international workshop on Multicore software engineering
A Multi-Core Solver for Parity Games
Electronic Notes in Theoretical Computer Science (ENTCS)
DiVinE Multi-Core --- A Parallel LTL Model-Checker
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Efficient Probabilistic Model Checking on General Purpose Graphics Processors
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Parallel and Distributed Invariant Checking of Microcontroller Software
Electronic Notes in Theoretical Computer Science (ENTCS)
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Scalable Multi-core Model Checking Fairness Enhanced Systems
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Cloud9: a software testing service
ACM SIGOPS Operating Systems Review
Enabling multi-core based monitoring and fault tolerance in C++/Java
Proceedings of the 3rd International Workshop on Multicore Software Engineering
Proceedings of the IEEE/ACM international conference on Automated software engineering
An automated translator for model checking time constrained workflow systems
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Parallel symbolic execution for automated real-world software testing
Proceedings of the sixth conference on Computer systems
Towards informed swarm verification
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Boosting multi-core reachability performance with shared hash tables
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
External memory breadth-first search with delayed duplicate detection on the GPU
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Experiments in parallel constraint-based local search
EvoCOP'11 Proceedings of the 11th European conference on Evolutionary computation in combinatorial optimization
Modeling and verifying timed compensable workflows and an application to health care
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Parallel nested depth-first searches for LTL model checking
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Designing fast LTL model checking algorithms for many-core GPUs
Journal of Parallel and Distributed Computing
On parallel software verification using boolean equation systems
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Editorial: Recent developments in high performance computing and security: An editorial
Future Generation Computer Systems
Thread-based multi-engine model checking for multicore platforms
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various tasks - among others LTL model checking. In the paper we show a design for a parallel shared-memory LTL model checker, that is based on a distributed-memory algorithm. To achieve good scalability, we have devised and experimentally evaluated several implementation techniques, which we present in the paper.