Context-dependent minimization of state/event systems

MaRDI QIDQ2718777zbMATH OpenFDO

Authors Gerd Behrmann, Kåre Kristoffersen, Kim G. Larsen

Publication date 9 May 2001

Published in Proceedings of the Estonian Academy of Sciences. Physics, Mathematics (Search for Journal in Brave)

zbMATH Keywords

concurrent state/event systemsreachability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 177514
• scientific article; zbMATH DE number 177239
• scientific article; zbMATH DE number 7650327
• Minimisation of event structures
• Modeling and Using Context
• Approximating event system abstractions by covering their states and transitions
• Consistent reduction in discrete-event systems
• Compositional minimisation of finite state systems using interface specifications
• Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems
• Partial Order Reduction for State/Event LTL

Cited in

(4)

• scientific article; zbMATH DE number 1670551 (Why is no real title available?)
• Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems
• Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems
• Verification of large state/event systems using compositionality and dependency analysis

This page was built for publication: Context-dependent minimization of state/event systems

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