788 search results - page 24 / 158 » Design and use of a system-level specification and verificat... |
192
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
164
Voted
FM
1999
Springer
15 years 10 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
186
Voted
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
169
click to vote
IEE
2008
15 years 6 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
167
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
To meet conflicting flexibility, performance and cost constraints of demanding signal processing applications, future designs in this domain will contain an increasing number of a...