AutoProof: Auto-Active Functional Verification of Object-Oriented Programs
Abstract elided by the publisher.
1,553 papers · page 40 of 78
Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling
Abstract elided by the publisher.
FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution)
Abstract elided by the publisher.
Cascade - (Competition Contribution)
Abstract elided by the publisher.
GPU Accelerated Strong and Branching Bisimilarity Checking
Abstract elided by the publisher.
A Method for Improving the Precision and Coverage of Atomicity Violation Predictions
Abstract elided by the publisher.
Forward Reachability Computation for Autonomous Max-Plus-Linear Systems
Abstract elided by the publisher.
SACO: Static Analyzer for Concurrent Objects
Abstract elided by the publisher.
Decision Procedures for Flat Array Properties
Abstract elided by the publisher.
Discounting in LTL
In recent years, there is growing need and interest in formalizing and reasoning about the quality of software and hardware systems. As opposed to traditional verification, where one handles the question of whether a system satisfies, or not, a given specification, reasoning abou…
VeriMAP: A Tool for Verifying Programs through Transformations
Abstract elided by the publisher.
Verification of Concurrent Quantum Protocols by Equivalence Checking
Abstract elided by the publisher.
SATMC: A SAT-Based Model Checker for Security-Critical Systems
Abstract elided by the publisher.
Compositional Invariant Generation for Timed Systems
Abstract elided by the publisher.
Computing Conditional Probabilities in Markovian Models Efficiently
Abstract elided by the publisher.
CIF 3: Model-Based Engineering of Supervisory Controllers
Abstract elided by the publisher.
Status Report on Software Verification - (Competition Summary SV-COMP 2014)
Abstract elided by the publisher.
On the Correctness of a Branch Displacement Algorithm
The branch displacement problem is a well-known problem in assembler design. It revolves around the feature, present in several processor families, of having different instructions, of different sizes, for jumps of different displacements. The problem, which is provably NP-hard, …
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
Abstract elided by the publisher.
Alternating Runtime and Size Complexity Analysis of Integer Programs
Abstract elided by the publisher.