114 search results - page 4 / 23 » PVS: A Prototype Verification System |
151
Voted
RSP
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
135
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
263
click to vote
FMCAD
1998
Springer
15 years 9 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
124
Voted
ASPDAC
1995
ACM
15 years 8 months ago
1995
ACM
- In this paper, we present a hardware-software cosimulation environment for heterogeneoussystems. To be an efficient system verification environment for the rapid prototyping of h...
165
click to vote
SERA
2004
Springer
15 years 10 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...