| Invited Talks Formal Specifications on Industrial-Strength Code--From Myth to Reality I Think I Voted: E-Voting vs. Democracy Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs The Ideal of Verified Software Session 1. Automata Antichains: A New Algorithm for Checking Universality of Finite Automata Safraless Compositional Synthesis. Minimizing Generalized Biichi Automata Session 2. Tools Papers Ticc: A Tool for Interface Compatibility and Composition FAST Extended Release Session 3. Arithmetic Don't Care Words with an Application to the Automata-Base Approach for Real Addition A Fast Linear-Arithmetic Solver for DPLL(T) Session 4. SAT and Bounded Model Checking Bounded Model Checking for Weak Alternating Biichi Automal Deriving Small Unsatisfiable Cores with Dominators Session 5. Abstraction/Refinement Lazy Abstraction with Interpolants Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop Counterexamples with Loops for Predicate Abstraction Session 6. Tools Papers Cascade: C Assertion Checker and Deductive Engine YASM: A Software Model-Checker for Verification and Refutati, Session 7. Symbolic Trajectory Evaluation SAT-Based Assistance in Abstraction Refinement for Symboli, Trajectory Evaluation Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation Session 8. Property Specification and Verification Session 9. Time Session 10. Tools Papers Session 11. Concurrency Session 12. Trees,Pushdown Systems and Boolean Programs Session 13. Termination Session 14. Tools Papers Session 15. Abstract Interpretation Session 16. Tools Papers Session 17. Memory Consistency Session 18. Shape Analysis Author Index |
内容加载中，请稍后...
商品评论（0条）