933 search results - page 98 / 187 » Extending Forward Checking |
105
Voted
ICDCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
121
Voted
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
117
Voted
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...
130
click to vote
SAS
2005
Springer
15 years 6 months ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...