189 search results - page 21 / 38 » Model Checking Correctness Properties of Electronic Contract... |
331
click to vote
JTRES
2010
ACM
14 years 12 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
107
click to vote
APLAS
2006
ACM
15 years 3 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
113
click to vote
IWFM
2000
15 years 1 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
80
Voted
CAV
2009
Springer
16 years 9 days 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...
APSEC
2002
IEEE
15 years 4 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 ...