Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal.

Ferdy Hanssen, Angelika Mader, Pierre G. Jansen

Browse the full MASCOTS paper archive.