Checking - PDFSEARCH.IO - Document Search Engine

Checking
Results: 4283

#	Item
111	Formale Systeme LTL und Model Checking Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK KIT – I NSTITUT F UR Add to Reading List Source URL: i12www.ira.uka.de Language: German - Date: 2013-02-06 04:05:25
112	SENTENCING SUMMARY FROM RECENT STUDENT AND ANTI CUTS PROTESTS collated by Legal Defence and Monitoring Group http://ldmg.org.uk/ Up to date as of March 2nd 2012 but this will change every week... Keep checking LONDON ABC Add to Reading List Source URL: ldmg.org.uk Language: English - Date: 2012-03-04 09:08:53
113	Protocol proof checking simplified with SMT Mark R. Tuttle Strategic CAD Lab Intel Corporation Hudson, MA Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2012-07-27 11:30:00
114	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Add to Reading List Source URL: sharps.org Language: English - Date: 2014-08-13 15:13:39
115	Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISOJulieth Patricia Castellanos Ardila, Barbara Gallina {julieth.castellanos, barbara.gallina}@mdh.se This work is supported by th Add to Reading List Source URL: terecom2017.lynx-project.eu Language: English - Date: 2018-04-05 12:22:54
116	Higher-Order Model Checking by Abstraction of Type Derivation Rewriting Takeshi Tsukada1,2 and Naoki Kobayashi3 1 Graduate School of Information Science, Tohoku University Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2016-04-18 06:57:45
117	Model selection Model checking Chapter 6 - Model selection and checkingHidden Markov Models Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2014-12-18 07:20:59
118	model checking or other formal verification tools. In the months leading up to the competition, the organizers created an open source infrastructure for generating problem instances and interacting with submitted control Add to Reading List Source URL: gmwgroup.harvard.edu Language: English - Date: 2018-01-30 14:11:27
119	Model Checking of Statechart Models arXiv:cs/0407038v1 [cs.SE] 16 Jul 2004 Survey and Research Directions Purandar Bhaduri Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 14:46:18
120	Translation Quality Checking in LanguageTool Marcin Miłkowski Abstract: In large computer-aided translation (CAT) projects, especially in software localization, one of the main problems is to maintain the consistent sty Add to Reading List Source URL: www.marcinmilkowski.pl Language: English - Date: 2012-11-19 12:24:58

UPDATE