Compiling Protocols to Promela and Verifying their LTL Properties.

Benjamin Lion, Samir Chouali, Farhad Arbab

Browse the full MODELS paper archive.