1541 search results - page 29 / 309 » Tools and Techniques for Model Checking Networked Programs |
102
Voted
SIMULATION
2002
15 years 3 days ago
2002
We present GaliLEO, a simulator for the transmission of connection-oriented traffic over a constellation of LEO/MEO (Low / Medium Earth Orbit) satellites. Its scope is limited to ...
111
Voted
CAV
2004
Springer
15 years 4 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
104
click to vote
SAC
2010
ACM
15 years 20 days ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
95
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
339
Voted
JTRES
2010
ACM
15 years 20 days 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...