Composing Temporal-Logic Specifications with Machine Assistance.

Jei-Wen Teng, Yih-Kuen Tsay

Browse the full FM paper archive.