3765 search results - page 70 / 753 » Formal Methods for Systems Engineering Behavior Models |
93
Voted
RSP
1999
IEEE
15 years 6 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
131
click to vote
ICRE
1998
IEEE
15 years 6 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
110
click to vote
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
126
click to vote
IJIT
2004
15 years 3 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
143
click to vote
FM
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...