Prototype Verification System - PDFSEARCH.IO - Document Search Engine

Prototype Verification System
Results: 11

#	Item
1	FIG: A Prototype Tool for Online Verification of Recovery Mechanisms ∗ Pete Broadwell Naveen Sastry Add to Reading List Source URL: naveen.ksastry.com Language: English - Date: 2013-06-08 15:25:48 Software testing Fault injection Application programming interfaces C dynamic memory allocation Exception handling Software quality Emacs C standard library System call Software Computing Computer programming
2	CALIFORNIA STATE SCIENCE FAIR 2015 PROJECT SUMMARY Name(s) Project Number Add to Reading List Source URL: www.usc.edu Language: English - Date: 2015-03-31 12:08:04 Device driver Software Prototype Operating system Firmware System software Computing Device driver synthesis and verification Open-source hardware Technology Embedded system Google Chrome OS
3	Technical Report CSL-97-2R August 1997, Revised March 1999 The Formal Semantics of PVS1 Sam Owre [removed] Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2015-01-13 22:35:40 Model theory Type theory Predicate logic Semantics Data types Prototype Verification System Simply typed lambda calculus First-order logic Type system Logic Mathematical logic Mathematics
4	Random Testing in PVS Sam Owre SRI International, Computer Science Laboratory 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [removed] Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:12 Automated theorem proving Lisp programming language Mathematical logic Randomness Prototype Verification System IP Proof assistant Dependent type Common Lisp Computing Software engineering Logic
5	PVS Prover Guide Version 2.4 • November 2001 N. Shankar S. Owre J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Proof theory Logical syntax Mathematical logic Nqthm First-order logic Proof assistant Prototype Verification System Natural deduction Theorem Logic Mathematics Automated theorem proving
6	PVS System Guide Version 2.4 • November 2001 S. Owre N. Shankar J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Automated theorem proving Prototype Verification System Proof assistant Emacs Common Lisp Software Computing Lisp programming language
7	NASA CARBON MONITORING SYSTEM: Prototype Monitoring, Reporting, and Verification PROGRESS REPORT AND FUTURE PLANS George Hurtt, Diane Wickland, Kenneth Jucks, Add to Reading List Source URL: carbon.nasa.gov Language: English - Date: 2014-10-29 15:53:50 Carbon dioxide Photosynthesis Forestry Carbon sequestration Reforestation LIDAR Carbon cycle Reducing Emissions from Deforestation and Forest Degradation Carbon sink Earth Atmospheric sciences Climatology
8	WILLEMS LAYOUT[removed]:43 AM Add to Reading List Source URL: www.synopsys.com Language: English Logic design Hardware description languages Hardware verification languages Post-silicon validation Prototype FPGA prototype Field-programmable gate array System on a chip Transaction-level modeling Electronic engineering Electronic design automation Electronic design
9	Curriculum Vitae Dr. Klaus Havelund Ph.D in Computer Science Senior Research Scientist (SRS) at NASA’s Jet Propulsion Laboratory California Institute of Technology (Caltech) Email: [removed] Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-06-16 09:55:49 Software engineering Runtime verification Formal verification Prototype Verification System Verification and validation Software development process Actor model Denotational semantics Java Pathfinder Formal methods Theoretical computer science Computing