The YogiProject: Software Property Checking via Static Analysis and Testing
Abstract elided by the publisher.
1,553 papers · page 53 of 78
Static Analysis Techniques for Parameterised Boolean Equation Systems
Abstract elided by the publisher.
Falsification of LTL Safety Properties in Hybrid Systems
Abstract elided by the publisher.
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
Abstract elided by the publisher.
Hierarchical Set Decision Diagrams and Regular Models
Abstract elided by the publisher.
Test Input Generation for Programs with Pointers
Abstract elided by the publisher.
Inferring Synchronization under Limited Observability
Abstract elided by the publisher.
Transition-Based Directed Model Checking
Abstract elided by the publisher.
Symbolic String Verification: Combining String Analysis and Size Analysis
Abstract elided by the publisher.
Computing Simulations over Tree Automata
Abstract elided by the publisher.
Formal Pervasive Verification of a Paging Mechanism
Abstract elided by the publisher.
Demand-Driven Compositional Symbolic Execution
Abstract elided by the publisher.
Conditional Probabilities over Probabilistic and Nondeterministic Systems
Abstract elided by the publisher.
On-the-Fly Techniques for Game-Based Software Model Checking
Abstract elided by the publisher.
Analyzing Stripped Device-Driver Executables
Abstract elided by the publisher.
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
Abstract elided by the publisher.
A SAT-Based Approach to Size Change Termination with Global Ranking Functions
Abstract elided by the publisher.
Scoot: A Tool for the Analysis of SystemC Models
Abstract elided by the publisher.
RWset: Attacking Path Explosion in Constraint-Based Test Generation
Abstract elided by the publisher.
SDSIrep: A Reputation System Based on SDSI
Abstract elided by the publisher.