We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear various types of quantitative information. Throughout the design process the actions can be further refined and the information made more precise. We show how to compute the results of standard operations on the systems, including the quotient (residual), which has not been previously considered for quantitative non-deterministic systems. Our quantitative framework has close connections to the modal nu-calculus and is compositional with respect to general notions of distances between systems and the standard...
This paper gives a survey of a composition model checking methodology and its succesfull instantiati...
There are two fundamentally different approaches to specifying and verifying properties of systems. ...
ion, and Verification: A Uniform Treatment of Quality and Quantity Michael Huth Department of Compu...
We provide a framework for compositional and iterative design and verification of systems with quant...
We provide a framework for compositional and iterative design and verification of systems with quant...
International audienceThis paper proposes a new theory of quantitative specifications. It generalize...
the date of receipt and acceptance should be inserted later Abstract This paper proposes a new theor...
This paper proposes a new theory of quantitative specifications. It generalizes the notions of step-...
International audienceThis paper proposes a new theory of quantitative specifications. It generalize...
We present a compositional theory of system verifica tion, where specifications assign real-numbered...
UC Los Angeles Mari"elle StoelingaUniversity of Twente Abstract. We present a compositional...
the date of receipt and acceptance should be inserted later Abstract Specification theories as a too...
Abstract. Specification theories as a tool in the development process of component-based software sy...
We introduce a novel formalism of label-structured modal transition systems that combines the classi...
International audienceSpecification theories as a tool in model-driven development processes of comp...
This paper gives a survey of a composition model checking methodology and its succesfull instantiati...
There are two fundamentally different approaches to specifying and verifying properties of systems. ...
ion, and Verification: A Uniform Treatment of Quality and Quantity Michael Huth Department of Compu...
We provide a framework for compositional and iterative design and verification of systems with quant...
We provide a framework for compositional and iterative design and verification of systems with quant...
International audienceThis paper proposes a new theory of quantitative specifications. It generalize...
the date of receipt and acceptance should be inserted later Abstract This paper proposes a new theor...
This paper proposes a new theory of quantitative specifications. It generalizes the notions of step-...
International audienceThis paper proposes a new theory of quantitative specifications. It generalize...
We present a compositional theory of system verifica tion, where specifications assign real-numbered...
UC Los Angeles Mari"elle StoelingaUniversity of Twente Abstract. We present a compositional...
the date of receipt and acceptance should be inserted later Abstract Specification theories as a too...
Abstract. Specification theories as a tool in the development process of component-based software sy...
We introduce a novel formalism of label-structured modal transition systems that combines the classi...
International audienceSpecification theories as a tool in model-driven development processes of comp...
This paper gives a survey of a composition model checking methodology and its succesfull instantiati...
There are two fundamentally different approaches to specifying and verifying properties of systems. ...
ion, and Verification: A Uniform Treatment of Quality and Quantity Michael Huth Department of Compu...