Checking - PDFSEARCH.IO - Document Search Engine

Checking
Results: 4283

#	Item
51	Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-06-27 11:48:43 Media access control IEEE 802 Computing Data transmission Ethernet Wireless networking IEEE 802.15.4 Carrier-sense multiple access with collision avoidance Carrier-sense multiple access Medium access control Zigbee Exponential backoff
52	SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Symbol 120-cell Craig interpolation Computability theory Fiber bundles Differential topology
53	Solving Constraints over Bit-Vectors with SAT-based Model Checking Extended Abstract Yakir Vizel1 , Alexander Nadel2 , and Sharad Malik1 2 Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Theoretical computer science Logic in computer science Formal methods Computational complexity theory Mathematics Electronic design automation NP-complete problems Constraint programming Satisfiability modulo theories Boolean satisfiability problem Z3 Solver
54	On Using Results of Code-level Bounded Model Checking in Assurance Cases Carmen Cˆ arlan, Daniel Ratiu, and Bernhard Sch¨atz fortiss GmbH, Munich, email: Siemens CT, Munich, email: daniel.ratiu@sieme Add to Reading List Source URL: mbeddr.com Language: English - Date: 2018-08-02 04:06:51 Formal methods Theoretical computer science Software engineering Systems engineering Software testing Quality Software quality Software verification and validation Formal verification Functional verification Model checking Verification and validation
55	FT D RA Probabilistic Model Checking: Advances and Applications Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-05-03 06:06:10 Temporal logic Theoretical computer science Mathematics Linear temporal logic Probabilistic CTL Computation tree logic Mathematical logic Markov decision process Markov chain IP Limit Craig interpolation
56	T DR AF Probabilistic Model Checking for Systems Biology Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-01-15 20:26:44 Temporal logic Theoretical computer science Linear temporal logic Fibroblast growth factor receptor Cell biology Markov chain Markov decision process Computation tree logic Fibroblast growth factor Probabilistic CTL Probability
57	INFINITYBranching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdil1 V´aclav Broˇzek2 Vojtˇech Forejt3 Faculty of Informatics Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 12:53:36 Temporal logic Mathematical logic Theoretical computer science Finite model theory Linear temporal logic Symbol FO Constructible universe IP Computation tree logic Model theory Mathematics
58	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:44:06 Logic Mathematical logic Theoretical computer science FO Finite model theory Predicate transformer semantics Model theory Substitution
59	Parallel Type-checking with Saturating LVars Peter Fogg Sam Tobin-Hochstadt Ryan R. Newton Add to Reading List Source URL: homes.sice.indiana.edu Language: English - Date: 2015-02-28 14:55:06 Software engineering Computer programming Programming language theory Type theory Type systems Functional languages Programming paradigms Procedural programming languages Type inference HindleyMilner type system Monad Functional programming
60	LanguageTool Test Document This document shows if your LanguageTool (_http://languagetool.org_) installation works correctly. First, make sure that auto spell-checking is enabled. For that, activate this button in the to Add to Reading List Source URL: languagetool.org Language: English - Date: 2018-04-09 07:51:39 Natural language processing Software Writing Application software Firefox add-ons Grammar checkers LanguageTool Search engine indexing Spell checker Underline Parsing