714 search results - page 126 / 143 » Certifying Model Checkers |
194
Voted
CSFW
2005
IEEE
16 years 2 days ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
177
click to vote
PLDI
2005
ACM
16 years 12 hour ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
141
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
172
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
155
Voted
SPIN
2005
Springer
15 years 12 months ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...