2291 search results - page 125 / 459 » Logic Programming and Model Checking |
124
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
97
Voted
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
219
click to vote
FMCAD
1998
Springer
15 years 6 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...
156
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
116
click to vote
AIME
2007
Springer
15 years 8 months ago
2007
Springer
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...