Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach.

Serenella Cerrito, Valentin Goranko, Sophie Paillocher

Browse the full FSCD paper archive.