An Inductive Approach for Modal Transition System Refinement

DOI10.4230/LIPICS.ICLP.2011.106zbMath1245.68061OpenAlexW2104889737MaRDI QIDQ2909149

Jeff Kramer, Alessandra Russo, Dalal Alrajeh, Sebastian Uchitel

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_da56.html

zbMATH Keywords

refinementinductive logic programmingmodal transition systemsevent calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Incremental learning of event definitions with inductive logic programming

This page was built for publication: An Inductive Approach for Modal Transition System Refinement