Towards Automated Proof of Fail-safe Behavior

Liggesmeyer, P.; Rothfelder, M.

Reference:

P. Liggesmeyer, M. Rothfelder, "Towards Automated Proof of Fail-safe Behavior", in SAFECOMP 98, The 17th International Conference on Computer Safety, Reliability and Security, 1998, pp. 169-184.

Bibtex Entry:

@INPROCEEDINGS{Liggesmeyer1998e,
  author = {Liggesmeyer, P. and Rothfelder, M.},
  title = {Towards Automated Proof of Fail-safe Behavior},
  booktitle = {SAFECOMP 98, The 17th International Conference on Computer Safety,
	Reliability and Security},
  year = {1998},
  pages = {169-184}
}