Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: A Language-Independent Proof System for Mutual Program Equivalence
Regression verification: proving the equivalence of similar programs
Guarded commands, nondeterminacy and formal derivation of programs
Structural Induction in Programming Language Semantics A Note for C S 386L Students
A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq.
Symbolic execution and program testing
ESP: path-sensitive program verification in polynomial time
Formal verification of higher-order probabilistic programs
A Theorem Prover for a Computational Logic
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Learning how to Prove: From the Coq Proof Assistant to Textbook Style
VeriML: A dependently-typed, user-extensible and language-centric approach to proof assistants
Verifying haskell programs using constructive type theory
Identifying Syntactic Differences Between Two Programs
Unbounded verification, falsification, and characterization of security protocols by pattern refinement
Using machine learning techniques to detect metamorphic relations for programs without test oracles
Verification of Sequential Circuits by Tests-As-Proofs Paradigm
Automatic system testing of programs without test oracles
Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees
An Automatic Inequality Prover and Instance Optimal Identity Testing
A gentle introduction to mutual recursion
Mining Topically Coherent Patterns for Unsupervised Extractive Multi-document Summarization
Simple convolutional neural network on image classification
Curve skeletonization of surface-like objects in 3D images guided by voxel classification
A large annotated corpus for learning natural language inference
Z3: An Efficient SMT Solver