On Modal Refinement and Consistency

13 years 8 months ago

Download www.itu.dk

Abstract. Almost 20 years after the original conception, we revisit several fundamental questions about modal transition systems. First, we demonstrate the incompleteness of the standard modal refinement using a counterexample due to H

Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows

Real-time Traffic

CONCUR 2007 | Distributed And Parallel Computing | Modal Refinement | Modal Transition Systems | Standard Modal Refinement |

claim paper

» From requirements to partial behavior models an iterative approach to incremental specific...

» On Weak Modal Compatibility Refinement and the MIO Workbench

» Checking Thorough Refinement on Modal Transition Systems Is EXPTIMEComplete

» Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse

» Modal Matters for Interpretability Logics

» Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems

» Refinement and Consistency in Multiview Models

» Consistent Adaptation and Evolution of Class Diagrams during Refinement

Post Info
More Details (n/a)

Added	14 Aug 2010
Updated	14 Aug 2010
Type	Conference
Year	2007
Where	CONCUR
Authors	Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski

Comments (0)

Sciweavers

On Modal Refinement and Consistency

CONCUR 2007 | Distributed And Parallel Computing | Modal Refinement | Modal Transition Systems | Standard Modal Refinement |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers