3742 search results - page 349 / 749 » On the Use of Formal Techniques for Validation |
236
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
146
click to vote
COMPSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
161
click to vote
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
We propose a method for local search of Boolean relations relating variables of a CNF formula. The method is to branch on small subsets of the set of CNF variables and to analyze ...
149
click to vote
ISCAS
2003
IEEE
16 years 23 hour ago
2003
IEEE
In modern System-on-Chip (SoC) designs verification becomes the major bottleneck. Since by using state-of-theart techniques complete designs cannot be fully formally verified, it ...
162
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...