Verification - PDFSEARCH.IO - Document Search Engine

Verification
Results: 19505

#	Item
51	Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174, Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2018-06-20 05:46:32 Computing Software engineering Computer programming Software bugs Software testing Computer network security Debuggers Common Weakness Enumeration Memory debugger Memory safety Application security Frama-C
52	Verification of Programs by Combining Iterated Specialization with Interpolation E. De Angelis and F. Fioravanti J. A. Navas Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Declarative programming Software engineering Theoretical computer science Constraint programming Logic programming Programming paradigms Formal methods Constraint logic programming Loop invariant Interpolation Abstract interpretation CLP
53	Third International Competition on Runtime Verification CRV 2016 Giles Reger1 , Sylvain Hallé2 , and Yliès Falcone3 1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-09-29 14:23:26 Computing Cross-platform software Logic in computer science Runtime verification Benchmark Standard Performance Evaluation Corporation Marq AspectJ Java Overclocking
54	A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-09-08 19:38:18 Mathematical analysis Mathematics Constructible universe Distribution
55	Third International Competition on Runtime Verification (CRV16) Giles Reger, Sylvain Hall´e, Yli`es Falcone RV 2016 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-09-29 14:24:12 Benchmark Standard Performance Evaluation Corporation European BEST Engineering Competition Computing Information and communications technology
56	Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Computer architecture Computing Formal methods Logic in computer science Kernel Linux kernel L4 microkernel family Mach Verification X86-64 Formal verification Satisfiability modulo theories
57	Toward practical and unconditional verification of remote computations Srinath Setty∗, Andrew J. Blumberg∗, and Michael Walfish∗ 1 Introduction Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Cryptography Computational complexity theory Complexity classes Public-key cryptography Interactive proof system NP NEXPTIME IP Probabilistically checkable proof Commitment scheme Proof of secure erasure Randomized algorithm
58	Tackling Large Software Verification Problems with Spin Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:28:50 Model checkers Software engineering Computing Theoretical computer science Model checking Promela Formal verification SPIN model checker Abstraction Sizeof Const
59	AVACS* Automatic Verification and Analysis of Complex Systems Werner Damm AVACS coordinator Add to Reading List Source URL: www.avacs.org Language: English - Date: 2015-09-28 03:05:31 Systems science Design for X Engineering University of Freiburg System of systems Systems engineering Systems theory Reliability engineering
60	A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:00 Computing Software engineering Computer programming Concurrent programming languages High-level programming languages Type theory Programming languages Program analysis Java virtual machine Type system Go Java