4098 search results - page 280 / 820 » Sound mobility models |
212
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
163
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
204
click to vote
LOPSTR
2007
Springer
16 years 23 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
275
click to vote
SP
2006
IEEE
16 years 19 days ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
166
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...