2108 search results - page 253 / 422 » An Operational Semantics for Stateflow |
162
click to vote
TYPES
2007
Springer
16 years 19 days ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
192
click to vote
QEST
2006
IEEE
16 years 16 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
166
click to vote
ECOOP
2005
Springer
16 years 1 days ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
163
click to vote
FMCO
2005
Springer
16 years 1 days ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
192
click to vote
ICALP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...