Checking - PDFSEARCH.IO - Document Search Engine

Checking
Results: 4283

#	Item
801	Verification of Tree-Processing Programs via Higher-Order Model Checking Hiroshi Unno, Naoshi Tabuchi, and Naoki Kobayashi Tohoku University Abstract. We propose a new method to verify that a higher-order, treeprocessin Add to Reading List Source URL: www.cs.tsukuba.ac.jp Language: English - Date: 2010-11-22 00:52:19
802	Symbolic Model Checking for Probabilistic Processes Christel Baier1 , Edmund M. Clarke2 ? , Vasiliki Hartonas-Garmhausen2, Marta Kwiatkowska3 and Mark Ryan3 ?? 1 Fakult¨at f¨ur Mathematik & Informatik 2 Department of Add to Reading List Source URL: www.cs.bham.ac.uk. Language: English - Date: 2009-02-25 10:35:23
803	Applications of Craig Interpolants in Model Checking K. L. McMillan Cadence Berkeley Labs Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inco Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:10
804	Cache-based Model Checking of Networked Applications: From Linear to Branching Time Cyrille Artho∗ , Watcharin Leungwattanakit†, Masami Hagiya† , Yoshinori Tanabe† , Mitsuharu Yamamoto‡ ∗ Research Center for Add to Reading List Source URL: staff.aist.go.jp Language: English - Date: 2015-11-26 00:31:04
805	Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication Cyrille Artho∗ , Masami Hagiya† , Richard Potter† , Yoshinori Tanabe‡ , Franz Weitl§ , and Mitsuharu Yamamoto§ ∗ Add to Reading List Source URL: staff.aist.go.jp Language: English - Date: 2015-11-26 00:31:05
806	A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-18 10:49:57
807	Evolutionary Robustness Checking in the Artificial Anasazi Model Forrest Stonedahl and Uri Wilensky Center for Connected Learning and Computer-Based Modeling Northwestern University, Evanston, IL, USA forrest@northwester Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2010-11-17 20:48:50
808	Model checking time-constrained scenario-based specifications∗ S. Akshay1,2 , Paul Gastin1 , Madhavan Mukund2 , and K. Narayan Kumar2 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-12-13 12:13:47
809	Business Checking Accounts Overview Commerce Value Checking Add to Reading List Source URL: www.bankbac.com Language: English
810	PREPRINT Really Natural Linear Indexed Type Checking Arthur Azevedo de Amorim Marco Gaboardi Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-03-16 20:42:28

UPDATE