323 search results - page 33 / 65 » Verifying the Mondex Case Study |
ERSHOV
1999
Springer
14 years 2 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
SPIN
1999
Springer
14 years 2 months ago
1999
Springer
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
ACSC
2004
IEEE
14 years 1 months ago
2004
IEEE
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by th...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
SOSP
1997
ACM
13 years 11 months ago
1997
ACM
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...