Checkers - PDFSEARCH.IO - Document Search Engine

Checkers
Results: 271

#	Item
91	7.Gear Checkers Manual 2012 Add to Reading List Source URL: www.ponyclub.asn.au Language: English Stirrup Whip Longeing Saddle Crop Cowboy boot Dressage Iron English saddle Horse tack Equestrianism Olympic sports
92	JCHARMING: A Bug Reproduction Approach using Crash Traces and Directed Model Checking Mathieu Nayrolles, Abdelwahab Hamou-Lhadj SBA Research Lab ECE, Concordia University Montréal, Canada Add to Reading List Source URL: users.encs.concordia.ca Language: English - Date: 2015-03-05 22:28:38 Software bug Model checkers Debugging Model checking Software testing Java Pathfinder Exception handling Bug tracking system Crash Computing Software engineering Computer programming
93	2.Gear Checkers Manual 2012 Add to Reading List Source URL: www.ponyclub.asn.au Language: English Horse training Helmets Horse racing Horse tack Bicycle helmet Longeing Stirrup Dressage Leggings Clothing Culture Headgear
94	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: dave.recoil.org Language: English - Date: 2011-10-25 12:01:10 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
95	Spelling Correction for Search Engine Queries Bruno Martins and Mário J. Silva Departamento de Informática Faculdade de Ciências da Universidade de LisboaLisboa, Portugal ,. Add to Reading List Source URL: www-scf.usc.edu Language: English - Date: 2012-11-10 18:54:59 Information retrieval Internet search engines Error Knowledge Spell checkers Spelling Commonly misspelled words Metaphone Google Search Information science Linguistics Orthography
96	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
97	Quick Grammar Checkers: Add to Reading List Source URL: med-fom-spph.sites.olt.ubc.ca Language: English - Date: 2014-11-26 16:12:52 Comma Apostrophe Linguistics Graphic design Punctuation Orthography Semicolon
98	Efficient Large-Scale Model Checking Kees Verstoep [removed] VU University, Amsterdam, The Netherlands Joint work with: Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2010-01-15 15:41:39 Transaction processing SPIN model checker Myrinet Distributed computing Henri Bal Scalability Computing Model checkers Model checking
99	The Checker Framework Manual: Custom pluggable types for Java http://checkerframework.org/ Version[removed]Mar[removed]For the impatient: Section 1.3 (page 12) describes how to install and use pluggable type-checkers. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2015-04-18 02:31:35 Programming language theory Computing Program analysis Type system Type inference Subtype polymorphism Lint Annotation Type theory Data types Software engineering
100	Int J Softw Tools Technol Transfer[removed]:507–518 DOI[removed]s10009[removed]RERS BDD-based software verification Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-12 10:11:50 Diagrams Formal methods Boolean algebra Binary decision diagram Model checking Model checkers NuSMV Satisfiability Modulo Theories Abstraction Mathematics Theoretical computer science Applied mathematics

UPDATE