Assertion - PDFSEARCH.IO - Document Search Engine

Assertion
Results: 1026

#	Item
101	TICKET-FIXING: THE ASSERTION OF INFLUENCE IN TRAFFIC CASES INTERIM REPORT BY THE Add to Reading List Source URL: www.cjc.ny.gov Language: English - Date: 2013-05-28 12:11:08
102	The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Software engineering Theoretical computer science Computer programming Formal methods Logic in computer science Macro Hoare logic Assertion Separation logic C preprocessor Postcondition Assembly language
103	Lewis Signaling Games \| Directive/Assertion Distinction \| A New Game Modeling Modeling the the Directive/Assertion Directive/Assertion Distinction Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-10-22 14:27:45
104	Trace-Assertion Specifications of Deterministic Software Modules Janusz Brzozowski1 and Helmut J¨ urgensen2 1 Add to Reading List Source URL: maveric.uwaterloo.ca Language: English - Date: 2003-10-26 14:25:39
105	Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-10-24 14:36:30 Logic in computer science Program analysis Substructural logic Concurrent computing Aliasing Compiler construction Separation logic Alias Thread Assertion OCaml Type system
106	Lewis Signaling Games \| Directive/Assertion Distinction \| A New Game Answering Answering the the intentionality intentionality challenge Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-10-22 14:27:44
107	In ‘Assertion’, Robert Stalnaker distinguishes between the sema Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2011-02-27 20:00:00
108	Runtime Assertion Checking and its Combinations with Static and Dynamic Analyses Tutorial Synopsis? Nikolai Kosmatov and Julien Signoles CEA, LIST, Software Reliability Laboratory, PCGif-sur-Yvette France Add to Reading List Source URL: www.stance-project.eu Language: English - Date: 2014-11-14 04:22:03
109	A Model Checking Perspective on White-Box Testing Helmut Veith Technische Universität Wien Add to Reading List Source URL: icst2015.ist.tu-graz.ac.at Language: English - Date: 2015-05-13 03:57:02 Formal methods Logic in computer science Software engineering Helmut Veith Computer science Computer programming Debugging Veith Formal verification Turing Award Assertion Model checking

UPDATE