Model construction for hybrid implicit specifications/
Jensen, Ole H.
Model construction for hybrid implicit specifications/ by Ole Hogh Jensen, Christian Jeppesen, Jarl Tuxen Lang. - Aalborg, Denmark: University of Aalborg, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, [1994]. - viii, 150 p.: ill.; 24 cm. - Report / University of Aalborg. Institute for Electronic Systems. Dept. of Mathematics and Computer Science,; R 94-2012 0106-0791; . - Report (Aalborg universitetscenter. Afdeling for matematik og datalogi); R 94-2012. .
Cover title. "March 1994."
Thesis (M.S.)--Aalborg University, 1994.
Includes bibliographical references.
Abstract: "Top-down design of a reactive system, such as a computer program, can be viewed as a stepwise refinement of a specification. In order to ensure that the specification is indeed a correct description of the desired system, it is advantageous to be able to synthesize (perhaps automatically) prototypes from specifications. This thesis considers model construction, i.e. synthesis of prototypes, for hybrid implicit specifications of the form C(P₁ ..., P[subscript n];G₁ ..., G[subscript m]) sat F asserting that the process C(P₁ ..., P[subscript n];Q₁ ..., Q[subscript m]) satisfies the specification F whenever the process Q[subscript i] satisfies the specification G[subscript i] for 1 [
Computer programs.
Model construction for hybrid implicit specifications/ by Ole Hogh Jensen, Christian Jeppesen, Jarl Tuxen Lang. - Aalborg, Denmark: University of Aalborg, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, [1994]. - viii, 150 p.: ill.; 24 cm. - Report / University of Aalborg. Institute for Electronic Systems. Dept. of Mathematics and Computer Science,; R 94-2012 0106-0791; . - Report (Aalborg universitetscenter. Afdeling for matematik og datalogi); R 94-2012. .
Cover title. "March 1994."
Thesis (M.S.)--Aalborg University, 1994.
Includes bibliographical references.
Abstract: "Top-down design of a reactive system, such as a computer program, can be viewed as a stepwise refinement of a specification. In order to ensure that the specification is indeed a correct description of the desired system, it is advantageous to be able to synthesize (perhaps automatically) prototypes from specifications. This thesis considers model construction, i.e. synthesis of prototypes, for hybrid implicit specifications of the form C(P₁ ..., P[subscript n];G₁ ..., G[subscript m]) sat F asserting that the process C(P₁ ..., P[subscript n];Q₁ ..., Q[subscript m]) satisfies the specification F whenever the process Q[subscript i] satisfies the specification G[subscript i] for 1 [
Computer programs.