{"volume":1,"author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"last_name":"Conrad","full_name":"Conrad, Mirko","first_name":"Mirko"},{"first_name":"Gottfried","full_name":"Egger, Gottfried","last_name":"Egger"},{"last_name":"Hiemer","full_name":"Hiemer, Jörg","first_name":"Jörg"}],"citation":{"ama":"Heckel R, Conrad M, Egger G, Hiemer J. Automatic Integration of Safety Invariants into Z Specifications. In: <i>Proceedings of the Workshop on Tools for System Development and Verifcation</i>. Vol 1. Bremen, Germany: Shaker Verlag; 1996:70-83.","bibtex":"@inproceedings{Heckel_Conrad_Egger_Hiemer_1996, place={Bremen, Germany}, title={Automatic Integration of Safety Invariants into Z Specifications}, volume={1}, booktitle={Proceedings of the Workshop on Tools for System Development and Verifcation}, publisher={Shaker Verlag}, author={Heckel, Reiko and Conrad, Mirko and Egger, Gottfried and Hiemer, Jörg}, year={1996}, pages={70–83} }","ieee":"R. Heckel, M. Conrad, G. Egger, and J. Hiemer, “Automatic Integration of Safety Invariants into Z Specifications,” in <i>Proceedings of the Workshop on Tools for System Development and Verifcation</i>, 1996, vol. 1, pp. 70–83.","short":"R. Heckel, M. Conrad, G. Egger, J. Hiemer, in: Proceedings of the Workshop on Tools for System Development and Verifcation, Shaker Verlag, Bremen, Germany, 1996, pp. 70–83.","chicago":"Heckel, Reiko, Mirko Conrad, Gottfried Egger, and Jörg Hiemer. “Automatic Integration of Safety Invariants into Z Specifications.” In <i>Proceedings of the Workshop on Tools for System Development and Verifcation</i>, 1:70–83. Bremen, Germany: Shaker Verlag, 1996.","apa":"Heckel, R., Conrad, M., Egger, G., &#38; Hiemer, J. (1996). Automatic Integration of Safety Invariants into Z Specifications. In <i>Proceedings of the Workshop on Tools for System Development and Verifcation</i> (Vol. 1, pp. 70–83). Bremen, Germany: Shaker Verlag.","mla":"Heckel, Reiko, et al. “Automatic Integration of Safety Invariants into Z Specifications.” <i>Proceedings of the Workshop on Tools for System Development and Verifcation</i>, vol. 1, Shaker Verlag, 1996, pp. 70–83."},"publication":"Proceedings of the Workshop on Tools for System Development and Verifcation","department":[{"_id":"66"}],"date_updated":"2022-01-06T07:03:53Z","main_file_link":[{"url":"http://tfs.cs.tu-berlin.de/"}],"user_id":"52534","date_created":"2019-03-04T12:25:41Z","language":[{"iso":"eng"}],"title":"Automatic Integration of Safety Invariants into Z Specifications","status":"public","publisher":"Shaker Verlag","abstract":[{"lang":"eng","text":"This extended abstract describes a mechanism to automatically incorporate safety requirements into operational specifications written in Z. For every individual operation the global (i.e. operation independent) safety invariants are transformed into a predicate which is used to extend the original precondiction of the operation. The operation constructed this way shows the same beavior as the original one whenever its post state satisfies the invariant. Otherwise it refuses to do anything. The construction of the precondition can be carried out automatically and a corresponding tool development is in progress."}],"place":"Bremen, Germany","year":"1996","page":"70-83","type":"conference","_id":"8275","intvolume":"         1"}