Tool Integration with the Evidential Tool Bus
Abstract elided by the publisher.
642 papers · page 17 of 33
Static Analysis of String Encoders and Decoders
Abstract elided by the publisher.
Abstraction of Syntax
Abstract elided by the publisher.
SMT-Based Bisimulation Minimisation of Markov Models
Abstract elided by the publisher.
Abstract Read Permissions: Fractional Permissions without the Fractions
Abstract elided by the publisher.
Reductions for Synthesis Procedures
Abstract elided by the publisher.
Knockout Prediction for Reaction Networks with Partial Kinetic Information
Abstract elided by the publisher.
Towards Efficient Parameterized Synthesis
Abstract elided by the publisher.
SMT-Based Array Invariant Generation
Abstract elided by the publisher.
Causality Checking for Complex System Models
Abstract elided by the publisher.
A Model-Constructing Satisfiability Calculus
Abstract elided by the publisher.
Uncovering Symmetries in Irregular Process Networks
Abstract elided by the publisher.
Sound and Complete Flow Typing with Unions, Intersections and Negations
Abstract elided by the publisher.
A Constraint Solver Based on Abstract Domains
Abstract elided by the publisher.
Automata as Proofs
Abstract elided by the publisher.
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
Abstract elided by the publisher.
Complete Abstractions Everywhere
Abstract elided by the publisher.
Robustness Analysis of Networked Systems
Abstract elided by the publisher.
Logico-Numerical Max-Strategy Iteration
Abstract elided by the publisher.
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools
Abstract elided by the publisher.