Open AccessFocusCheck: a tool for verification and counterexample analysis of sequential C programs
Author(s) -
Curtis William Keller
Publication year - 2020
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.31274/rtd-20200616-25
Subject(s) - counterexample , debugging , computer science , programming language , focus (optics) , context (archaeology) , domain (mathematical analysis) , abstraction , statement (logic) , model checking , heuristic , theoretical computer science , fragment (logic) , representation (politics) , artificial intelligence , mathematics , paleontology , mathematical analysis , philosophy , physics , epistemology , discrete mathematics , politics , law , political science , optics , biology