Size-Change Termination, Monotonicity Constraints and Ranking Functions
Abstract elided by the publisher.
2,069 papers · page 58 of 104
Predictability vs. Efficiency in the Multicore Era: Fight of Titans or Happy Ever after?
Abstract elided by the publisher.
D-Finder: A Tool for Compositional Deadlock Detection and Verification
Abstract elided by the publisher.
Linear Functional Fixed-points
Abstract elided by the publisher.
Better Quality in Synthesis through Quantitative Objectives
Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another. For example, if a specification asks that every request is followed by a response, one may prefer an implemen…
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
Abstract elided by the publisher.
Automatic Verification of Integer Array Programs
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to specify pre- and post-conditions of programs and their parts. Effects of non-looping parts of code are …
Automated Analysis of Java Methods for Confidentiality
Abstract elided by the publisher.
Requirements Validation for Hybrid Systems
Abstract elided by the publisher.
Towards Performance Prediction of Compositional Models in Industrial GALS Designs
Abstract elided by the publisher.
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
Abstract elided by the publisher.
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
Abstract elided by the publisher.
Meta-analysis for Atomicity Violations under Nested Locking
Abstract elided by the publisher.
An Antichain Algorithm for LTL Realizability
Abstract elided by the publisher.
On Extending Bounded Proofs to Inductive Proofs
Abstract elided by the publisher.
Games through Nested Fixpoints
Abstract elided by the publisher.
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
Abstract elided by the publisher.
The Zonotope Abstract Domain Taylor1+
Abstract elided by the publisher.
Reachability Analysis of Hybrid Systems Using Support Functions
Abstract elided by the publisher.
Software Transactional Memory on Relaxed Memory Models
Abstract elided by the publisher.