2282 search results - page 168 / 457 » Active property checking |
122
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
146
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
116
click to vote
ISCAS
2003
IEEE
15 years 10 months 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 ...
128
click to vote
CAISE
2001
Springer
15 years 9 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
147
click to vote
HOTOS
2007
IEEE
15 years 8 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...