Topological analysis of refinement

MaRDI QIDQ2863878zbMATH OpenFDO

Authors Michael Huth

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106003975?np=y

zbMATH Keywords

topologymodel checkingrefinementvaliditymodal transition system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• Refinement is complete for implementations
• On Modal Refinement and Consistency
• On refinements of Boolean and parametric modal transition systems
• Refinement modal logic
• Labelled transition systems as a Stone space

Cited in

(7)

• A domain equation for refinement of partial systems
• On the expressiveness of refinement settings
• Refinement is complete for implementations
• Hennessy-Milner properties via topological compactness
• Towards a descriptive set theory for domain-like structures
• Labelled transition systems as a Stone space
• On Modal Refinement and Consistency

This page was built for publication: Topological analysis of refinement

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