Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay. PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets. In 28th Asia-Pacific Software Engineering Conference, APSEC 2021, Taipei, Taiwan, December 6-9, 2021. pages 509-514, IEEE, 2021. [doi]
Abstract is missing.