ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre.

Karine Altisen, Matthieu Moy

Browse the full ECRTS paper archive.