© 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}, }