Formally Verifying a Transformation from MLTL Formulas to Regular Expressions.

Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier

Browse the full TACAS paper archive.