Playing with abstraction and representation

DOI10.1007/978-3-319-27810-0_10MaRDI QIDQ2796224zbMATH OpenOpenAlexFDO

Authors Bernhard Steffen, Malte Isberner, Marc Jasper

Publication date 23 March 2016

Published in Semantics, Logics, and Calculi (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-27810-0_10

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Efficient and modular coalgebraic partition refinement
• Property-Driven Partitioning for Abstraction Refinement
• A partition refinement algorithm for the -calculus
• Efficient Coalgebraic Partition Refinement
• scientific article; zbMATH DE number 898449

Cited in

(2)

• Partition refinement of component interaction automata
• Characteristic invariants in Hennessy-Milner logic

This page was built for publication: Playing with abstraction and representation

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