Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539201627> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1539201627 abstract "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." @default.
- W1539201627 created "2016-06-24" @default.
- W1539201627 creator A5077549627 @default.
- W1539201627 creator A5084447019 @default.
- W1539201627 date "2003-06-27" @default.
- W1539201627 modified "2023-09-23" @default.
- W1539201627 title "Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings" @default.
- W1539201627 hasPublicationYear "2003" @default.
- W1539201627 type Work @default.
- W1539201627 sameAs 1539201627 @default.
- W1539201627 citedByCount "0" @default.
- W1539201627 crossrefType "book" @default.
- W1539201627 hasAuthorship W1539201627A5077549627 @default.
- W1539201627 hasAuthorship W1539201627A5084447019 @default.
- W1539201627 hasConcept C110251889 @default.
- W1539201627 hasConcept C111498074 @default.
- W1539201627 hasConcept C11413529 @default.
- W1539201627 hasConcept C136643341 @default.
- W1539201627 hasConcept C198008173 @default.
- W1539201627 hasConcept C199360897 @default.
- W1539201627 hasConcept C23123167 @default.
- W1539201627 hasConcept C25016198 @default.
- W1539201627 hasConcept C2779907942 @default.
- W1539201627 hasConcept C30888246 @default.
- W1539201627 hasConcept C41008148 @default.
- W1539201627 hasConcept C80444323 @default.
- W1539201627 hasConceptScore W1539201627C110251889 @default.
- W1539201627 hasConceptScore W1539201627C111498074 @default.
- W1539201627 hasConceptScore W1539201627C11413529 @default.
- W1539201627 hasConceptScore W1539201627C136643341 @default.
- W1539201627 hasConceptScore W1539201627C198008173 @default.
- W1539201627 hasConceptScore W1539201627C199360897 @default.
- W1539201627 hasConceptScore W1539201627C23123167 @default.
- W1539201627 hasConceptScore W1539201627C25016198 @default.
- W1539201627 hasConceptScore W1539201627C2779907942 @default.
- W1539201627 hasConceptScore W1539201627C30888246 @default.
- W1539201627 hasConceptScore W1539201627C41008148 @default.
- W1539201627 hasConceptScore W1539201627C80444323 @default.
- W1539201627 hasLocation W15392016271 @default.
- W1539201627 hasOpenAccess W1539201627 @default.
- W1539201627 hasPrimaryLocation W15392016271 @default.
- W1539201627 hasRelatedWork W1480105416 @default.
- W1539201627 hasRelatedWork W1489469477 @default.
- W1539201627 hasRelatedWork W1496424806 @default.
- W1539201627 hasRelatedWork W1501346358 @default.
- W1539201627 hasRelatedWork W1505677092 @default.
- W1539201627 hasRelatedWork W1516288898 @default.
- W1539201627 hasRelatedWork W1517959189 @default.
- W1539201627 hasRelatedWork W1531715720 @default.
- W1539201627 hasRelatedWork W1541174442 @default.
- W1539201627 hasRelatedWork W1541426137 @default.
- W1539201627 hasRelatedWork W1547517160 @default.
- W1539201627 hasRelatedWork W1558598345 @default.
- W1539201627 hasRelatedWork W1565193401 @default.
- W1539201627 hasRelatedWork W1575138043 @default.
- W1539201627 hasRelatedWork W1575764074 @default.
- W1539201627 hasRelatedWork W1582717179 @default.
- W1539201627 hasRelatedWork W1582868218 @default.
- W1539201627 hasRelatedWork W1593793497 @default.
- W1539201627 hasRelatedWork W2075107640 @default.
- W1539201627 hasRelatedWork W255025080 @default.
- W1539201627 isParatext "false" @default.
- W1539201627 isRetracted "false" @default.
- W1539201627 magId "1539201627" @default.
- W1539201627 workType "book" @default.