1210 search results - page 77 / 242 » Formal Techniques for Java Programs |
156
Voted
VLSID
2004
IEEE
16 years 2 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
114
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
135
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Many three-dimensional (3D) images are routinely collected in biomedical research and a number of digital atlases with associated anatomical and other information have...
127
Voted
CC
2008
Springer
15 years 4 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
130
Voted
JCS
2010
15 years 29 days ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...