Integrating Model Checking into a Live Modeling Environment.

Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe

Browse the full SLE paper archive.