61 search results - page 4 / 13 » Model Checking Real Time Java Using Java PathFinder |
ECRTS
2003
IEEE
15 years 5 months ago
2003
IEEE
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus...
105
click to vote
ECOOP
2006
Springer
15 years 2 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
109
click to vote
IEE
2010
14 years 10 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
119
click to vote
ERSHOV
2009
Springer
14 years 10 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
132
click to vote
SOFTVIS
2010
ACM
15 years 8 days ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...