The following pages link to DiVinE (Q16315):
Displaying 40 items.
- Analysing sanity of requirements for avionics systems (Q282095) (← links)
- The sweep-line state space exploration method (Q418783) (← links)
- Exploiting step semantics for efficient bounded model checking of asynchronous systems (Q436411) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- Partial order reduction for state/event LTL with application to component-interaction automata (Q549692) (← links)
- Flash memory efficient LTL model checking (Q617930) (← links)
- Optimising the ProB model checker for B using partial order reduction (Q736463) (← links)
- Leveraging compiler intermediate representation for multi- and cross-language verification (Q784116) (← links)
- Fairness modulo theory: a new approach to LTL software model checking (Q1702910) (← links)
- An algorithm for estimating parameters of state-space models (Q1916235) (← links)
- On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties (Q1951607) (← links)
- Collaborative models for autonomous systems controller synthesis (Q2198131) (← links)
- On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
- Distributed breadth-first search LTL model checking (Q2431772) (← links)
- STL*: extending signal temporal logic with signal-value freezing operator (Q2453214) (← links)
- Distributed verification of multi-threaded C++ programs (Q2866324) (← links)
- Parallel model checking large-scale genetic regulatory networks with DiVinE (Q2870296) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Almost linear Büchi automata (Q2883118) (← links)
- CUDA accelerated LTL model checking -- revisited (Q2917270) (← links)
- Space effective model checking for component-interaction automata (Q2917311) (← links)
- (Q3005436) (← links)
- Search-Order Independent State Caching (Q3066131) (← links)
- Distributed Algorithms for SCC Decomposition (Q3069996) (← links)
- Multi-core Nested Depth-First Search (Q3172923) (← links)
- Parallel Nested Depth-First Searches for LTL Model Checking (Q3172928) (← links)
- Semi-external LTL Model Checking (Q3512515) (← links)
- Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063) (← links)
- Cluster-Based LTL Model Checking of Large Systems (Q3591390) (← links)
- Partial Order Reduction for State/Event LTL (Q3605476) (← links)
- The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection (Q3651242) (← links)
- Improved Multi-Core Nested Depth-First Search (Q4649302) (← links)
- (Q4993611) (← links)
- On the Complexity of Bounded Context Switching. (Q5111714) (← links)
- Quo Vadis Explicit-State Model Checking (Q5175096) (← links)
- Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation (Q5248063) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- An Overview of the mCRL2 Toolset and Its Recent Advances (Q5326326) (← links)
- Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking (Q5458320) (← links)
