10159 search results - page 289 / 2032 » System Design Validation Using Formal Models |
158
Voted
DASFAA
2011
IEEE
14 years 7 months ago
2011
IEEE
Flash memories are considered a competitive alternative to rotating disks as non-volatile data storage for database management systems. However, even if the Flash Translation Layer...
152
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
144
Voted
ICCAD
2002
IEEE
16 years 11 days ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
156
Voted
JACM
2002
15 years 3 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
137
Voted
RTAS
2000
IEEE
15 years 7 months ago
2000
IEEE
Congested networks and overloaded servers resulting from the ever growing number of Internet users contribute to the lack of good quality video streaming over the Internet. We pro...