DiVinE
From MaRDI portal
Software:16315
No author found.
Related Items (40)
Formal verification of mobile robot protocols ⋮ Almost linear Büchi automata ⋮ Analysing sanity of requirements for avionics systems ⋮ Multi-core Nested Depth-First Search ⋮ Parallel Nested Depth-First Searches for LTL Model Checking ⋮ Model Checking of Biological Systems ⋮ Unnamed Item ⋮ An algorithm for estimating parameters of state-space models ⋮ An Overview of the mCRL2 Toolset and Its Recent Advances ⋮ Flash memory efficient LTL model checking ⋮ Unnamed Item ⋮ The sweep-line state space exploration method ⋮ Collaborative models for autonomous systems controller synthesis ⋮ Semi-external LTL Model Checking ⋮ Distributed breadth-first search LTL model checking ⋮ Fairness modulo theory: a new approach to LTL software model checking ⋮ Exploiting step semantics for efficient bounded model checking of asynchronous systems ⋮ On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties ⋮ Computation Tree Regular Logic for Genetic Regulatory Networks ⋮ STL*: extending signal temporal logic with signal-value freezing operator ⋮ Improved Multi-Core Nested Depth-First Search ⋮ Quo Vadis Explicit-State Model Checking ⋮ CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks ⋮ Partial order reduction for state/event LTL with application to component-interaction automata ⋮ Cluster-Based LTL Model Checking of Large Systems ⋮ On algorithmic analysis of transcriptional regulation by LTL model checking ⋮ Partial Order Reduction for State/Event LTL ⋮ Search-Order Independent State Caching ⋮ Distributed Algorithms for SCC Decomposition ⋮ Optimising the ProB model checker for B using partial order reduction ⋮ Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking ⋮ The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection ⋮ On the Complexity of Bounded Context Switching. ⋮ Leveraging compiler intermediate representation for multi- and cross-language verification ⋮ Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation ⋮ CUDA Accelerated LTL Model Checking - Revisited ⋮ Distributed Verification of Multi-threaded C++ Programs ⋮ Space Effective Model Checking for Component-Interaction Automata ⋮ Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE ⋮ Automated formal analysis and verification: an overview
This page was built for software: DiVinE
