© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Validating Formal Verification using Safety Analysis Techniques
R. de Lemos and A. Saeed
In Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), pages 182-196, Toulouse, France, September 1999.Bibtex Record
@inproceedings{940,
author = {R. de Lemos and A. Saeed},
title = {{Validating Formal Verification using Safety Analysis Techniques}},
month = {September},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/940},
address = {Toulouse, France},
booktitle = {Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99)},
publication_type = {inproceedings},
submission_id = {896_945167926},
}