Verification Coverage for Combining Test and Proof Viet Hoang Le1 , Lo¨ıc Correnson2 , Julien Signoles2 , and Virginie Wiels3 1 2

Source URL: julien.signoles.free.fr

• Software engineering
• Software testing
• Computing
• Theoretical computer science
• Formal methods
• Systems engineering
• Logic in computer science
• Formal verification
• Mutation testing
• Code coverage
• KeY
• Specification

Linearity testing with entangled provers Thomas Vidick (Based on joint work with T. Ito) We first recall the definition of the linearity test, and give a brief proof of its soundness for the case of classical players, in

Source URL: users.cms.caltech.edu

Extending Proof Tree Preserving Interpolation to Sequences and Trees (Work In Progress) Jochen Hoenicke Albert-Ludwigs-Universit¨at Freiburg

Source URL: test.jochen-hoenicke.de

NASA Search and Rescue COSPAS-SARSAT Second Generation Beacons Proof of Concept Test Plan Specification/Type Approval May 8, 2015 Dr. Lisa Mazzuca, Mission Manager

Source URL: www.sarsat.noaa.gov

2013 & 2014 UAS Seabird Survey Test Flights Draft Report Sue Thomas, USFWS Washington Maritime Refuge ComplexBACKGROUND The goal of this pilot project was to test Unmanned Aircraft Systems (UAS) as a proof-of-co

Source URL: cisanctuary.org

• Fauna of South America
• Fiction
• Guillemots
• Uria
• Seabird
• Unmanned aerial vehicle
• Common murre
• Cougar
• Tern
• Tatoosh Island
• Washington
• Puma
• Auk

Final test: Type Theory and Coqjanuary 2011, 10:30–12:30, HG00.308 The mark for this test is the total number of points divided by ten, where the first 10 points are free. 1. Give a term of the simply typed la

Source URL: www.cs.ru.nl

• Mathematical logic
• Logic
• Type theory
• Theoretical computer science
• Lambda calculus
• Dependently typed programming
• Proof theory
• Logic in computer science
• CurryHoward correspondence
• Dependent type
• System F
• Simply typed lambda calculus

$SPAD/src/input kamke0.input Timothy Daly December 30, 2008 Abstract This is the first 50 of the Kamke test suite as published by E. S. ChebTerrab[1]. They have been rewritten using Axiom syntax. Where possible we show t

Source URL: axiom-developer.org

• Mathematical analysis
• Mathematics
• Special functions
• Exponentials
• Analytic functions
• Ratios
• Trigonometric functions
• Trigonometry
• Sine
• Parametric equation
• Proof that is irrational

Broxton Bridge Plantation Trail Rules As required by South Carolina law, all horses and mules must have proof of current, 12 month Negative Coggins test before unloading. All horses will be checked for proper match at th

Source URL: www.broxtonbridge.com

• Broxton
• Camping

Broxton Bridge Plantation Trail Rules As required by South Carolina law, all horses and mules must have proof of current, 12 month Negative Coggins test before unloading. All horses will be checked for proper match at th

Source URL: broxtonbridge.com

• Broxton
• Camping

LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom

Source URL: people.mpi-inf.mpg.de

• Theoretical computer science
• Mathematical logic
• Logic in computer science
• Automated theorem proving
• Proof assistants
• Formal methods
• Type theory
• Isabelle
• First-order logic
• Logic for Computable Functions
• Unification
• HOL