Application of partial-order methods to reactive programs with event memorization

DOI10.1023/A:1008129319165MaRDI QIDQ5946210zbMATH OpenOpenAlexFDO

Authors Frédéric Herbreteau, Franck Cassez, Olivier Roux

Publication date 14 October 2001

Published in Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008129319165

zbMATH Keywords

reactive systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• scientific article; zbMATH DE number 1059333
• Using partial orders to improve automatic verification methods. (Extended abstract)
• Partial Order Reduction for State/Event LTL
• scientific article; zbMATH DE number 177254

This page was built for publication: Application of partial-order methods to reactive programs with event memorization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5946210)