1980 search results - page 186 / 396 » Compositional Model Checking of Real Time Systems |
123
click to vote
IEE
2010
15 years 14 days ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
122
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
107
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
119
click to vote
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— The aim of this paper is to provide a unified language for modeling both control software and physical plants in real time control systems. This is done by embedding the bond ...