An inductive approach for modal transition system refinement

DOI10.4230/LIPICS.ICLP.2011.106MaRDI QIDQ2909149zbMATHOpenAlexFDO

Authors 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

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

Recommendations

• Quantitative refinement for weighted modal transition systems
• Refinement checking on parametric modal transition systems
• A Sound Observational Semantics for Modal Transition Systems
• On refinements of Boolean and parametric modal transition systems
• Transition systems for model generators -- a unifying approach
• MoTraS: a tool for modal transition systems and their extensions
• scientific article; zbMATH DE number 2086523
• Modal transition systems: composition and LTL model checking
• Parametric and quantitative extensions of modal transition systems
• Extending modal transition systems with structured labels

Cited in

(4)

• A BDD-Based Algorithm for Learning from Interpretation Transition
• Incremental learning of event definitions with inductive logic programming
• A refinement repair algorithm based on refinement game for KMTS models
• A Sound Observational Semantics for Modal Transition Systems

This page was built for publication: An inductive approach for modal transition system refinement

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