383 search results - page 48 / 77 » Testing Concurrent Systems: A Formal Approach |
136
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
107
click to vote
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
126
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
134
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
138
Voted
VRCAI
2004
ACM
15 years 8 months ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...