The UniForM Workbench, a Universal Development Environment for Formal Methods.

Bernd Krieg-Brckner, Jan Peleska, Ernst-Rdiger Olderog, Alexander Baer

Browse the full FM paper archive.