Safety cases for the formal verification of automatically generated code

@inproceedings{Basir2010SafetyCF,
  title={Safety cases for the formal verification of automatically generated code},
  author={Nurlida Basir},
  year={2010}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-3 of 3 extracted citations

Software Engineering for Resilient Systems

Lecture Notes in Computer Science • 2012
View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…