swMATH4130MaRDI QIDQ16315FDOQ16315
Author name not available (Why is that?)
Official website: http://divine.fi.muni.cz/
Cited In (76)
- Quo vadis explicit-state model checking
- Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation
- Cluster-Based LTL Model Checking of Large Systems
- Distributed breadth-first search LTL model checking
- Partial Order Reduction for State/Event LTL
- Semi-external LTL Model Checking
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
- Title not available (Why is that?)
- The sweep-line state space exploration method
- Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
- Partial order reduction for state/event LTL with application to component-interaction automata
- Analysing sanity of requirements for avionics systems
- CUDA accelerated LTL model checking -- revisited
- Fairness modulo theory: a new approach to LTL software model checking
- Distributed verification of multi-threaded C++ programs
- Exploiting step semantics for efficient bounded model checking of asynchronous systems
- Automated formal analysis and verification: an overview
- Distributed algorithms for SCC decomposition
- Multi-core nested depth-first search
- Search-Order Independent State Caching
- Optimising the ProB model checker for B using partial order reduction
- An algorithm for estimating parameters of state-space models
- Formal verification of mobile robot protocols
- Model checking of biological systems
- The ComBack method revisited: caching strategies and extension with delayed duplicate detection
- Flash memory efficient LTL model checking
- On algorithmic analysis of transcriptional regulation by LTL model checking
- Computational models for normative multi-agent systems
- mCRL2
- StEAM
- POEM
- SPIN
- NuSMV
- Moise+
- STXXL
- LTSmin
- iFEST
- Exp.Open
- Ibis
- BEEM
- BIOCHAM
- Checkfence
- CAESAR_SOLVE
- JITty
- SMI++
- RoVerGeNe
- GPU Quicksort
- SABRE
- Joogie
- MAGIC
- GPUexplore
- VS3
- ISLANDER
- Society Visualiser
- Murphi
- FuncTion
- LTLAutomizer
- Ultimate
- ANaConDA
- Algorithm 360
- Calysto
- Cascade
- GraVy
- GNA
- Parallel model checking large-scale genetic regulatory networks with DiVinE
- Almost linear Büchi automata
- Parallel nested depth-first searches for LTL model checking
- Improved multi-core nested depth-first search
- Space effective model checking for component-interaction automata
- Leveraging compiler intermediate representation for multi- and cross-language verification
- On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
- STL*: extending signal temporal logic with signal-value freezing operator
- Computation Tree Regular Logic for Genetic Regulatory Networks
- Collaborative models for autonomous systems controller synthesis
- An overview of the mCRL2 toolset and its recent advances
- On the Complexity of Bounded Context Switching.
This page was built for software: DiVinE
