Coinduction-based solution for minimization of Kripke structures

DOI10.13328/J.CNKI.JOS.004408MaRDI QIDQ2926854zbMATH OpenFDO

Authors Jianhua Gao, Ying Jiang

Publication date 3 November 2014

Published in Journal of Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.004408

zbMATH Keywords

final coalgebraminimal Kripke structuremodel checking

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1614700
• Simulation-based minimization
• Minimisation of models satisfying CTL formulas
• A Coalgebraic Perspective on Minimization and Determinization
• On minimal coalgebras

Describes a project that uses

Uses Software

• OCaml

This page was built for publication: Coinduction-based solution for minimization of Kripke structures

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