396 search results - page 48 / 80 » Combining decision procedures for the reals |
117
click to vote
MEMOCODE
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
114
click to vote
FM
2003
Springer
15 years 6 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
114
click to vote
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
—Security protocol design is a creative discipline where the solution space depends on the problem to be solved and the cryptographic operators available. In this paper, we exami...
104
click to vote
IADIS
2004
15 years 2 months ago
2004
Automated Web usability analysis aims at obtaining a figure of the overall usability of a Web page or site by comparing objective page measures or indicators with statistical prof...
111
click to vote
SAS
2010
Springer
14 years 12 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...