Date: 2018-10-25 12:43:22Computing 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: jorgenavas.github.ioDownload Document from Source Website File Size: 620,98 KBShare Document on Facebook
|