BEEM
From MaRDI portal
swMATH9815MaRDI QIDQ21794FDOQ21794
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-540-73370-6_17
Cited In (41)
- Comparison of algorithms for checking emptiness on Büchi automata
- Comparison of LTL to Deterministic Rabin Automata Translators
- LTL to self-loop alternating automata with generic acceptance and back
- Exploring the scope for partial order reduction
- Delag
- Refinement to imperative HOL
- Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
- Strength-based decomposition of the property Büchi automaton for faster model checking
- Exploiting step semantics for efficient bounded model checking of asynchronous systems
- Advanced Ramsey-based Büchi automata inclusion testing
- The ComBack method revisited: caching strategies and extension with delayed duplicate detection
- Flash memory efficient LTL model checking
- Helena
- STXXL
- SPOT
- Ibis
- FORCE
- LTL2BA
- Refinement to Imperative/HOL
- GPU Quicksort
- PGSolver
- MLton
- Checking bounded reachability in asynchronous systems by symbolic event tracing
- Moped
- ltl2dstar
- Rabinizer
- Murphi
- Dijkstra Shortest Path
- Separation Logic
- Algorithm 360
- ltl3tela
- 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
- Owl
- 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
- MoChiBA
- Rabinizer: small deterministic automata for \({\mathrm{LTL}(\mathrm{F},\mathrm{G})}\)
This page was built for software: BEEM
