Accepted Papers
Automatic App Testing of LTL Properties
New predicate transformer for symbolic modeling
RCK: A Software Toolkit for R-calculus
A Model Theory for R-calculus without Cut
The Verification of Conversion Algorithms between Finite Automata
VTOS: A Finite State Machine Model of OS and Formalized Verification of Its Microkernel
Source code profiling and classification for automated detection of logical errors
A note on real quantifier elimination by virtual term substitution of unbounded degree
A hybrid path constraint solver combined with meta-heuristic search
An Attempt to Formalize Popper's Logic of Scientific Discovery
Confluence of Pattern-Based Calculi with Finitary Matching
Successfully Coping with Scalability of Symbolic Analysis in Timing Analysis
Synthesis of Algorithms on Sets Represented as Monotone Lists
Programming Language Aggregation with Applications in Equivalence Checking
Building explicit induction schemas for cyclic induction reasoning
Symbolic Problem Solving With Bidirectional Executable Representations