Bebop
From MaRDI portal
Software:20924
swMATH8928MaRDI QIDQ20924FDOQ20924
Author name not available (Why is that?)
Cited In (70)
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Title not available (Why is that?)
- An Abort-Aware Model of Transactional Programming
- Syntax-directed model checking of sequential programs
- Types and trace effects of higher order programs
- Efficient SAT-based bounded model checking for software verification
- Visibly linear temporal logic
- Model-checking structured context-free languages
- Verification, Model Checking, and Abstract Interpretation
- A saturation method for the modal \(\mu \)-calculus over pushdown systems
- Title not available (Why is that?)
- Computer Aided Verification
- Summarization for termination: No return!
- First-Order and Temporal Logics for Nested Words
- Title not available (Why is that?)
- Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages
- Compositional may-must program analysis
- The word problem for visibly pushdown languages described by grammars
- Verification of scope-dependent hierarchical state machines
- A model checking-based approach for security policy verification of mobile systems
- Pushdown timed automata: A binary reachability characterization and safety verification.
- Model checking LTL with regular valuations for pushdown systems
- Context-aware counter abstraction
- Program verification with interacting analysis plugins
- Modular strategies for recursive game graphs
- Visibly rational expressions
- Counterexample-guided predicate abstraction of hybrid systems
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Application of static analyses for state-space reduction to the microcontroller binary code
- Title not available (Why is that?)
- Verification and falsification of programs with loops using predicate abstraction
- Verification, Model Checking, and Abstract Interpretation
- Types and trace effects for object orientation
- Interpolation and Model Checking
- Model Checking Procedural Programs
- Predicate Abstraction for Program Verification
- SAT-Based Model Checking
- Faster Algorithms for Weighted Recursive State Machines
- An Infinite Automaton Characterization of Double Exponential Time
- Programming Languages and Systems
- Model Checking Recursive Programs with Exact Predicate Abstraction
- Winning Regions of Pushdown Parity Games: A Saturation Method
- An abstract interpretation toolkit for \(\mu\)CRL
- CONCUR 2004 -- concurrency theory. 15th international conference, London, UK, August 31 -- September 3, 2004. Proceedings.
- Tools and Algorithms for the Construction and Analysis of Systems
- Bisimulation conversion and verification procedure for goal-based control systems
- Hybrid Systems: Computation and Control
- Verification of Boolean programs with unbounded thread creation
- CPBPV: a constraint-programming framework for bounded program verification
- Title not available (Why is that?)
- Parameterised pushdown systems with non-atomic writes
- An Automata-Theoretic Approach to Infinite-State Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Reducing concurrent analysis under a context bound to sequential analysis
- Title not available (Why is that?)
- Visibly pushdown languages
- Verification: Theory and Practice
- Title not available (Why is that?)
- Interprocedural Analysis of Concurrent Programs Under a Context Bound
- On-the-Fly Techniques for Game-Based Software Model Checking
- Model Checking Software
- Analyzing pushdown systems with stack manipulation
- Programming Languages and Systems
- Title not available (Why is that?)
- SMT-based model checking for recursive programs
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
- Translating Java for multiple model checkers: The Bandera back-end
- Verifying time partitioning in the DEOS scheduling kernel
- Title not available (Why is that?)
This page was built for software: Bebop