Verification - PDFSEARCH.IO - Document Search Engine

Verification
Results: 19505

#	Item
81	PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-06-07 19:21:25 Model checkers Application software PRISM model checker Systems science Mathematics Model checking Uppaal Model Checker Probabilistic automaton PAT Hybrid system Markov chain
82	Verification of a Virtual Filesystem Switch ? Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:44:04 Computer architecture Computing System software C POSIX library System calls POSIX Read Open File descriptor Virtual file system UBIFS Close
83	Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. Howe Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:08:32 Mathematics Algebra Theoretical computer science Finite automata Linear algebra Finite-state transducer Dynamic programming Edit distance Trace Finite-state machine Shortest path problem Levenshtein distance
84	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Computer programming Software engineering Type theory Computing Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List
85	Self-compilation and self-verification Ramana Kumar Peterhouse Add to Reading List Source URL: xrchz.net Language: English - Date: 2016-08-19 20:09:30 Software engineering Theoretical computer science Computing Formal methods Logic in computer science Proof assistants Compiler construction Automated theorem proving Formal verification HOL KeY ML
86	Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper) Ramana Kumar1 , Eric Mullen2 , Zachary Tatlock2 , and Magnus O. Myreen3 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2018-05-16 23:20:58 Theoretical computer science Formal methods Logic in computer science Software engineering Proof assistants Automated theorem proving Formal verification Interactive Theorem Proving Isabelle Coq HOL Correctness
87	Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata Marta Kwiatkowska1 , Gethin Norman2 , and David Parker3 1 Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-05-09 09:35:44 Dynamic programming Markov decision process Stochastic control Symbol Timed automaton Probability and statistics Probability Approximation algorithms Computational complexity theory
88	A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2012-12-17 05:23:36 Software development Aspect-oriented software development Aspect-oriented programming Formal methods Logic in computer science Runtime verification Pointcut Formal verification Join point Instrumentation
89	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Computer programming Software engineering Type theory Computing Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List
90	Guidance on Age-verification Arrangements Submitted to the Secretary of State pursuant to section 25 of the Digital Economy ActOctober 2018 Add to Reading List Source URL: assets.documentcloud.org Language: English - Date: 2018-10-18 22:11:22 Sex and the law British Board of Film Classification Censorship Human sexuality Soho Square Television in the United Kingdom Internet censorship in the United Kingdom Digital Economy Act Internet pornography 18 Pornography Section 63 of the Criminal Justice and Immigration Act