Bebop

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