528 search results - page 97 / 106 » Transition Logic Revisited |
101
click to vote
DAC
1994
ACM
15 years 3 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
106
click to vote
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
In order to increase the productivity of the application developers, it is desirable to remove the persistence concern from their responsibility. For this purpose, the orthogonal ...
AMAST
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
ECOWS
2006
Springer
15 years 3 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
139
click to vote
EEF
2000
15 years 3 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...