1108 search results - page 126 / 222 » Model Checking of Safety Properties |
88
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
121
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
95
Voted
FAC
2007
15 years 18 days ago
2007
Individual components in an inter-operating system require assurance from other components both of appropriate functionality and of suitable responsiveness. We have developed prope...
106
click to vote
TASE
2008
IEEE
15 years 17 days ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
94
Voted
APSEC
2002
IEEE
15 years 5 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...