Bebop
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Types and trace effects for object orientation
- Reducing concurrent analysis under a context bound to sequential analysis
- CPBPV
- TopSpin
- Zing
- Pushdown timed automata: A binary reachability characterization and safety verification.
- Cogent
- jMoped
- DiVer
- StEAM
- SyncGen
- ASTRAL
- SLAM
- SPIN
- Analyzing pushdown systems with stack manipulation
- CONCUR 2004 -- concurrency theory. 15th international conference, London, UK, August 31 -- September 3, 2004. Proceedings.
- Syntax-directed model checking of sequential programs
- Model checking LTL with regular valuations for pushdown systems
- Bogor
- bv2epr
- ComFoRT
- Java PathFinder
- Bandera
- CESAR
- YASM
- dSPIN
- TLPVS
- MOPS
- d/dt
- HARE
- Modular strategies for recursive game graphs
- Counterexample-guided predicate abstraction of hybrid systems
- Visibly rational expressions
- The word problem for visibly pushdown languages described by grammars
- Verification of Boolean programs with unbounded thread creation
- SatAbs
- YOGI
- MAGIC
- Program verification with interacting analysis plugins
- scientific article; zbMATH DE number 1670555 (Why is no real title available?)
- scientific article; zbMATH DE number 1701764 (Why is no real title available?)
- Parameterised pushdown systems with non-atomic writes
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Faster algorithms for weighted recursive state machines
- Aglets
- SAT-Based Model Checking
- Interpolation and model checking
- Predicate abstraction for program verification
- Model checking procedural programs
- Winning Regions of Pushdown Parity Games: A Saturation Method
- DDVerify
- Moped
- EUREKA
- Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages
- Model Checking Recursive Programs with Exact Predicate Abstraction
- An Infinite Automaton Characterization of Double Exponential Time
- Visibly pushdown languages
- An automata-theoretic approach to infinite-state systems
- An Abort-Aware Model of Transactional Programming
- VPAlib
- First-Order and Temporal Logics for Nested Words
- A model checking-based approach for security policy verification of mobile systems
- scientific article; zbMATH DE number 1953278 (Why is no real title available?)
- scientific article; zbMATH DE number 1982200 (Why is no real title available?)
- OpenNWA
- WALi
- scientific article; zbMATH DE number 1744960 (Why is no real title available?)
- scientific article; zbMATH DE number 1744961 (Why is no real title available?)
- scientific article; zbMATH DE number 1754627 (Why is no real title available?)
- scientific article; zbMATH DE number 2085312 (Why is no real title available?)
- scientific article; zbMATH DE number 2085314 (Why is no real title available?)
- A first-order complete temporal logic for structured context-free languages
- SMT-based model checking for recursive programs
- Compositional may-must program analysis: unleashing the power of alternation
- Formal analysis of hierarchical state machines
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Programming Languages and Systems
- A saturation method for the modal \(\mu \)-calculus over pushdown systems
- Model Checking Software
- Types and trace effects of higher order programs
- On-the-Fly Techniques for Game-Based Software Model Checking
- Interprocedural Analysis of Concurrent Programs Under a Context Bound
- Programming Languages and Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
- Hybrid Systems: Computation and Control
- Verification, Model Checking, and Abstract Interpretation
- PuMoC
- Context-aware counter abstraction
- Application of static analyses for state-space reduction to the microcontroller binary code
- Bisimulation conversion and verification procedure for goal-based control systems
- Visibly linear temporal logic
- Verifying time partitioning in the DEOS scheduling kernel
- Translating Java for multiple model checkers: The Bandera back-end
- Model-checking structured context-free languages
- Summarization for termination: No return!
- An abstract interpretation toolkit for CRL
- Hybrid automata-based CEGAR for rectangular hybrid systems
This page was built for software: Bebop
