BEEM
From MaRDI portal
Cited in
(47)- Comparison of algorithms for checking emptiness on Büchi automata
- LTL to self-loop alternating automata with generic acceptance and back
- Comparison of LTL to Deterministic Rabin Automata Translators
- Exploring the scope for partial order reduction
- Refinement to imperative HOL
- Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
- Exploiting step semantics for efficient bounded model checking of asynchronous systems
- Strength-based decomposition of the property Büchi automaton for faster model checking
- Advanced Ramsey-based Büchi automata inclusion testing
- Flash memory efficient LTL model checking
- jMoped
- StEAM
- POEM
- SPIN
- DiVinE
- libDDD
- Helena
- STXXL
- SPOT
- Ibis
- FORCE
- LTL2BA
- GPU Quicksort
- PGSolver
- MLton
- Moped
- ltl2dstar
- Rabinizer
- Murphi
- Dijkstra Shortest Path
- Separation Logic
- Algorithm 360
- ltl3tela
- The ComBack method revisited: caching strategies and extension with delayed duplicate detection
- Refinement to Imperative/HOL
- Checking bounded reachability in asynchronous systems by symbolic event tracing
- Index appearance record with preorders
- Limit-deterministic Büchi automata for linear temporal logic
- Parallel nested depth-first searches for LTL model checking
- Reducing concurrent analysis under a context bound to sequential analysis
- Seminator 2
- On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
- From LTL to deterministic automata. A safraless compositional approach
- Owl
- MoChiBA
- Rabinizer: small deterministic automata for \({\mathrm{LTL}(\mathrm{F},\mathrm{G})}\)
- Delag
This page was built for software: BEEM
