An inductive approach for modal transition system refinement

DOI10.4230/LIPICS.ICLP.2011.106zbMATH Open1245.68061OpenAlexW2104889737MaRDI QIDQ2909149FDOQ2909149

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

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

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)

Cited In (3)

• A Sound Observational Semantics for Modal Transition Systems
• Incremental learning of event definitions with inductive logic programming
• A BDD-Based Algorithm for Learning from Interpretation Transition

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)