Checking - PDFSEARCH.IO - Document Search Engine

Checking
Results: 4283

#	Item
161	Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia Add to Reading List Source URL: refal.botik.ru - Date: 2017-03-12 03:19:31
162	Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li Add to Reading List Source URL: homes.cs.washington.edu - Date: 2017-06-23 18:20:16
163	Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li Add to Reading List Source URL: homes.cs.washington.edu - Date: 2016-11-23 00:38:16
164	VOLUNTEER APPLICATION FORM Please complete by filling in blanks, circling, or checking appropriate box. When completed email application to: Title: Mr. Mrs. MS. Miss. Other _________________ Add to Reading List Source URL: manitobamutts.org - Date: 2015-12-14 01:21:00
165	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: kennknowles.com - Date: 2011-09-06 01:40:49
166	Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers Andr´as Horv´ath, Marco Paolieri, Lorenzo Ridi, Enrico Vicario Universit`a di Torino - Universit`a d Add to Reading List Source URL: www-bcf.usc.edu - Date: 2013-07-22 06:44:02
167	Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li Add to Reading List Source URL: homes.cs.washington.edu - Date: 2016-11-23 00:38:16
168	Stateless Model Checking with Data-Race Preemption Points Ben Blum Garth Gibson Carnegie Mellon University, USA Add to Reading List Source URL: www.contrib.andrew.cmu.edu - Date: 2016-08-27 03:06:16

UPDATE