Computation and Visualisation of Phase Portraits for Model Checking SPDIs
Abstract elided by the publisher.
1,553 papers · page 55 of 78
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
Abstract elided by the publisher.
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
Abstract elided by the publisher.
Context-Bounded Analysis of Concurrent Queue Systems
Abstract elided by the publisher.
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
Abstract elided by the publisher.
SVISS: Symbolic Verification of Symmetric Systems
Abstract elided by the publisher.
Peephole Partial Order Reduction
Abstract elided by the publisher.
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
Abstract elided by the publisher.
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
Abstract elided by the publisher.
Model Checking on Trees with Path Equivalences
Abstract elided by the publisher.
Combining Abstraction Refinement and SAT-Based Model Checking
Abstract elided by the publisher.
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Abstract elided by the publisher.
JPF-SE: A Symbolic Execution Extension to Java PathFinder
Abstract elided by the publisher.
Abstraction Refinement of Linear Programs with Arrays
Abstract elided by the publisher.
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract elided by the publisher.
Distributed Analysis with mu CRL: A Compendium of Case Studies
Abstract elided by the publisher.
motor: The modestTool Environment
Abstract elided by the publisher.
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
Abstract elided by the publisher.
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes
Abstract elided by the publisher.
Deciding Bit-Vector Arithmetic with Abstraction
Abstract elided by the publisher.