PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets.

Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay

Browse the full APSEC paper archive.