Back to Results
First PageMeta Content
Computing / 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 , University
Add to Reading List

Document Date: 2018-08-03 20:31:21


Open Document

File Size: 620,98 KB

Share Result on Facebook