Piecewise FIFO Channels Are Analyzable
Abstract elided by the publisher.
642 papers · page 27 of 33
Systematic Construction of Abstractions for Model-Checking
Abstract elided by the publisher.
Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems
Abstract elided by the publisher.
Parallel External Directed Model Checking with Linear I/O
Abstract elided by the publisher.
A CLP Method for Compositional and Intermittent Predicate Abstraction
Abstract elided by the publisher.
Relative Safety
Abstract elided by the publisher.
Resource Usage Analysis for the pi-Calculus
Abstract elided by the publisher.
Semantic Hierarchy Refactoring by Abstract Interpretation
Abstract elided by the publisher.
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains
We present lightweight and generic symbolic methods to improve the precision of numerical static analyses based on Abstract Interpretation. The main idea is to simplify numerical expressions before they are fed to abstract transfer functions. An important novelty is that these si…
Synthesis of Reactive(1) Designs
Abstract elided by the publisher.
Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation
Abstract elided by the publisher.
Detecting Non-cyclicity by Abstract Compilation into Boolean Functions
Abstract elided by the publisher.
Efficient Strongly Relational Polyhedral Analysis
Abstract elided by the publisher.
Closure Operators for ROBDDs
Abstract elided by the publisher.
Monitoring Off-the-Shelf Components
Abstract elided by the publisher.
Totally Clairvoyant Scheduling with Relative Timing Constraints
Abstract elided by the publisher.
A Compositional Logic for Control Flow
Abstract elided by the publisher.
Field Constraint Analysis
Note: MIT-CSAIL-TR-2005-072, MIT-LCS-TR-1010 Full version of http://infoscience.epfl.ch/search.py?recid=110250l=en Reference LARA-REPORT-2005-003 Record created on 2007-08-21, modified on 2017-05-12
Error Control for Probabilistic Model Checking
Abstract elided by the publisher.
Optimizing Bounded Model Checking for Linear Hybrid Systems
Abstract elided by the publisher.