scientific article; zbMATH DE number 177512

MaRDI QIDQ4037381zbMATH OpenFDO

Authors Ryszard Janicki, Maciej Koutny

Publication date 18 May 1993

zbMATH Keywords

reachability graphreductionverification of dynamic properties of concurrent systems

Mathematics Subject Classification ID

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

Cited in

(4)

• On stubborn sets in the verification of linear time temporal properties
• Joint optimization and reachability analysis in graph transformation systems with time
• Computing bounded reach sets from sampled simulation traces
• On Stubborn Sets in the Verification of Linear Time Temporal Properties

This page was built for publication:

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