1541 search results - page 51 / 309 » Tools and Techniques for Model Checking Networked Programs |
109
click to vote
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
ACSD
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
107
click to vote
ACSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
106
Voted
VLSID
2007
IEEE
16 years 27 days ago
2007
IEEE
Crosstalk noise in the clock network of digital circuits is often detected late in the design cycle, sometimes as late as after first silicon. It is therefore necessary to fix cros...
93
Voted
GG
2004
Springer
15 years 6 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...