Date: 2018-08-03 20:31:21Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics | | Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , UniversityAdd to Reading ListSource URL: seahorn.github.ioDownload Document from Source Website File Size: 620,98 KBShare Document on Facebook
|