Code Mutation in Verification and Automatic Code Correction
Abstract elided by the publisher.
1,553 papers · page 51 of 78
Assume-Guarantee Verification for Probabilistic Systems
Abstract elided by the publisher.
Approximating the Pareto Front of Multi-criteria Optimization Problems
Abstract elided by the publisher.
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
Abstract elided by the publisher.
SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata
Abstract elided by the publisher.
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions
Abstract elided by the publisher.
Efficient Detection of Errors in Java Components Using Random Environment and Restarts
Abstract elided by the publisher.
Embedded Systems Design - Scientific Challenges and Work Directions
Abstract elided by the publisher.
Simple O(m logn) Time Markov Chain Lumping
Abstract elided by the publisher.
Tracking Heaps That Hop with Heap-Hop
Abstract elided by the publisher.
Trace-Based Symbolic Analysis for Atomicity Violations
Abstract elided by the publisher.
Stranger: An Automata-Based String Analysis Tool for PHP
Abstract elided by the publisher.
Model Checking Interactive Markov Chains
Abstract elided by the publisher.
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
Abstract elided by the publisher.
Compositional Predicate Abstraction from Game Semantics
Abstract elided by the publisher.
Alpaga: A Tool for Solving Parity Games with Imperfect Information
Alpaga is a solver for two-player parity games with imperfect information. Given the description of a game, it determines whether the first player can ensure to win and, if so, it constructs a winning strategy. The tool provides a symbolic implementation of a recent algorithm bas…
Path Feasibility Analysis for String-Manipulating Programs
Abstract elided by the publisher.
Iterating Octagons
Abstract elided by the publisher.
MoonWalker: Verification of .NET Programs
Abstract elided by the publisher.
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays
Abstract elided by the publisher.