Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Get full text

Applying CEGAR to the Petri Net State Equation

Get full text

Forward Analysis for WSTS, Part II: Complete WSTS

Get full text

Piecewise testable tree languages

Get full text

Degrees of Lookahead in Regular Infinite Games

Get full text

Reachability Analysis of Communicating Pushdown Systems

Get full text

Two for the Price of One: Lifting Separation Logic Assertions

Get full text

Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

Get full text

Model-Checking of Ordered Multi-Pushdown Automata

Get full text

Wreath Products of Forest Algebras, with Applications to Tree Logics

Get full text

Weak Alternating Timed Automata

Get full text

Transfer Function Synthesis without Quantifier Elimination

Get full text

Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation

Get full text

Point-Separable Classes of Simple Computable Planar Curves

Get full text

Strongly Complete Logics for Coalgebras

Get full text

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

Get full text

On Constructor Rewrite Systems and the Lambda Calculus

Get full text

On logical hierarchies within FO^2-definable languages

Get full text

A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time

Get full text

Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator

Get full text