3082 search results - page 32 / 617 » Deviation Analysis: A New Use of Model Checking |
126
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
145
click to vote
ACSC
2008
IEEE
15 years 12 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
123
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
150
click to vote
TAMC
2009
Springer
15 years 12 months ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...
137
click to vote
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
When computer security violations are detected, computer forensic analysts attempting to determine the relevant causes and effects are forced to perform the tedious tasks of find...