Man - PDFSEARCH.IO - Document Search Engine

Man
Results: 31502

#	Item
1	A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-09-19 11:02:58 I1 Garbage collection
2	What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-13 07:25:09 Debugging Logic in computer science Runtime verification Software optimization Computing Instrumentation Tracing Information technology management Management
3	A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:31 Logic Symbol Substitution Mathematical logic Finite automata
4	Motivation Interleaving AVATAR Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:52 School of Computer Science University of Manchester Vampire
5	Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:10 Software engineering Computing Programming language theory Procedural programming languages Programming languages Logic in computer science Runtime verification Cross-platform software Program slicing Model checking L-system Trace
6	The Vampire and the FOOL Evgenii Kotelnikov Laura Kov´acs Giles Reger Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 16:08:44 Software engineering Mathematical logic Theoretical computer science Formal methods Logic in computer science Model theory Computability theory Procedural programming languages First-order logic Automated theorem proving ALGOL 68 Let expression
7	Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:32 Theoretical computer science Formal methods Mathematical logic Logic in computer science Mathematics Constraint programming Automated theorem proving Satisfiability modulo theories Formal verification Type theory First-order logic Vampire
8	24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨ Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:35 Theoretical computer science Formal methods Logic in computer science Computing Software engineering Electronic engineering Software testing Formal verification Runtime verification Software verification Java Modeling Language Verification
9	The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-02 12:35:21 Logic Mathematical logic Mathematics Propositional calculus Logical truth Logic in computer science Syntax Automated theorem proving Resolution Frege system Boolean satisfiability problem First-order logic
10	A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:44 Artificial intelligence Logic Logic programming Declarative programming Automated reasoning Programming paradigms Automated theorem proving Answer set programming Reasoning system Stable model semantics Prolog Inference