1823 search results - page 55 / 365 » Formal specification: a roadmap |
121
click to vote
DAC
2001
ACM
16 years 4 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
148
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
105
Voted
ZUM
1992
Springer
15 years 8 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
127
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
WADT
1998
Springer
15 years 8 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...