1 option
Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / edited by Warren A. Hunt, Jr., Fabio Somenzi.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2725.
- Lecture Notes in Computer Science, 0302-9743 ; 2725
- Language:
- English
- Subjects (All):
- Computers.
- Computer logic.
- Logic design.
- Computers, Special purpose.
- Software engineering.
- Logic, Symbolic and mathematical.
- Theory of Computation.
- Logics and Meanings of Programs.
- Logic Design.
- Special Purpose and Application-Based Systems.
- Software Engineering.
- Mathematical Logic and Formal Languages.
- Local Subjects:
- Theory of Computation.
- Logics and Meanings of Programs.
- Logic Design.
- Special Purpose and Application-Based Systems.
- Software Engineering.
- Mathematical Logic and Formal Languages.
- Physical Description:
- 1 online resource (XII, 462 pages).
- Edition:
- First edition 2003.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
- System Details:
- text file PDF
- Contents:
- Extending Bounded Model Checking
- Interpolation and SAT-Based Model Checking
- Bounded Model Checking and Induction: From Refutation to Verification
- Symbolic Model Checking
- Reasoning with Temporal Logic on Truncated Paths
- Structural Symbolic CTL Model Checking of Asynchronous Systems
- A Work-Efficient Distributed Algorithm for Reachability Analysis
- Games, Trees, and Counters
- Modular Strategies for Infinite Games on Recursive Graphs
- Fast Mu-Calculus Model Checking when Tree-Width Is Bounded
- Dense Counter Machines and Verification Problems
- Tool Presentations I
- TRIM: A Tool for Triggered Message Sequence Charts
- Model Checking Multi-Agent Programs with CASP
- Monitoring Temporal Rules Combined with Time Series
- FAST: Fast Acceleration of Symbolic Transition Systems
- Rabbit: A Tool for BDD-Based Verification of Real-Time Systems
- Abstraction I
- Making Predicate Abstraction Efficient:
- A Symbolic Approach to Predicate Abstraction
- Unbounded, Fully Symbolic Model Checking of Timed Automata Using Boolean Methods
- Dense Time
- Digitizing Interval Duration Logic
- Timed Control with Partial Observability
- Hybrid Acceleration Using Real Vector Automata
- Tool Presentations II
- Abstraction and BDDs Complement SAT-Based BMC in DiVer
- TLQSolver: A Temporal Logic Query Checker
- Evidence Explorer: A Tool for Exploring Model-Checking Proofs
- HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols
- Infinite State Systems
- Iterating Transducers in the Large
- Algorithmic Improvements in Regular Model Checking
- Efficient Image Computation in Infinite State Model Checking
- Abstraction II
- Thread-Modular Abstraction Refinement
- A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement
- Abstraction for Branching Time Properties
- Applications
- Certifying Optimality of State Estimation Programs
- Domain-Specific Optimization in Automata Learning
- Model Checking Conformance with Scenario-Based Specifications
- Theorem Proving
- Deductive Verification of Advanced Out-of-Order Microprocessors
- Theorem Proving Using Lazy Proof Explication
- Automata-Based Verification
- Enhanced Vacuity Detection in Linear Temporal Logic
- Bridging the Gap between Fair Simulation and Trace Inclusion
- An Improved On-the-Fly Tableau Construction for a Real-Time Temporal Logic
- Invariants
- Strengthening Invariants by Symbolic Consistency Testing
- Linear Invariant Generation Using Non-linear Constraint Solving
- Explicit Model Checking
- To Store or Not to Store
- Calculating ?-Confluence Compositionally.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-45069-6
- 9783540450696
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.