Add to ORKGUdgivelsesdato: JuneTwenty years ago, modal and mixed specifications were proposed asabstract models of system behavior. In this paper, we explain the natureand utility of such specifications, relate them to other formalisms, showcasesome of their established applications, and mention some existing tool support.We also present some recent complexity results for decision problemsunderlying such applications and list some remaining open problems.<br/
Abstract. Almost 20 years after the original conception, we revisit sev-eral fundamental questions a...
Partial specifications allow approximate models of systems such as Kripke structures, or labeled tr...
Modern software systems are increasingly exhibiting dynamic-reconfiguration features analogous to na...
Modal and mixed transition systems are specification formalisms that allow mixing ofover- and under-...
Twenty years ago, modal and mixed specifications were proposed as abstract models of system behavior...
Almost 20 years after the original conception, we revisit several fundamental question about modal t...
Modal specification is a well-known formalism used as an abstraction theory for tran-sition systems....
AbstractModal and mixed transition systems are formalisms that allow mixing of over- and under-appro...
In recent years, research into the mathematical foundations of modal logic has become increasingly p...
International audienceSpecification theories as a tool in model-driven development processes of comp...
International audienceModal transition systems provide a behavioral and compositional specification ...
Abstract. Mixed and modal transition systems are formalisms allow-ing mixing of over- and under-appr...
Modal and mixed transition systems are formalisms that allow mixing of over- and under-approximation...
International audienceSpecification theories as a tool in the development process of component-based...
Abstract. We consider decision problems for modal and mixed transi-tion systems used as specificatio...
Abstract. Almost 20 years after the original conception, we revisit sev-eral fundamental questions a...
Partial specifications allow approximate models of systems such as Kripke structures, or labeled tr...
Modern software systems are increasingly exhibiting dynamic-reconfiguration features analogous to na...
Modal and mixed transition systems are specification formalisms that allow mixing ofover- and under-...
Twenty years ago, modal and mixed specifications were proposed as abstract models of system behavior...
Almost 20 years after the original conception, we revisit several fundamental question about modal t...
Modal specification is a well-known formalism used as an abstraction theory for tran-sition systems....
AbstractModal and mixed transition systems are formalisms that allow mixing of over- and under-appro...
In recent years, research into the mathematical foundations of modal logic has become increasingly p...
International audienceSpecification theories as a tool in model-driven development processes of comp...
International audienceModal transition systems provide a behavioral and compositional specification ...
Abstract. Mixed and modal transition systems are formalisms allow-ing mixing of over- and under-appr...
Modal and mixed transition systems are formalisms that allow mixing of over- and under-approximation...
International audienceSpecification theories as a tool in the development process of component-based...
Abstract. We consider decision problems for modal and mixed transi-tion systems used as specificatio...
Abstract. Almost 20 years after the original conception, we revisit sev-eral fundamental questions a...
Partial specifications allow approximate models of systems such as Kripke structures, or labeled tr...
Modern software systems are increasingly exhibiting dynamic-reconfiguration features analogous to na...