Using DEv-PROMELA for Modelling and Verification of Software.

Aznam Yacoub, Mamar El-Amine Hamri, Claudia S. Frydman

Browse the full PADS paper archive.