Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Don't sweat the small stuff: formal verification of C code without the pain
An executable formal semantics of C with applications
Formal verification of higher-order probabilistic programs
Mop: an efficient and generic runtime verification framework
Formal Verification of Smart Contracts: Short Paper
A Practical Methodology for the Formal Verification of RISC Processors
Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking
Formal certification of a compiler back-end or: programming a compiler with a proof assistant
Software model checking without source code
software model checking : extracting verification models from source code .
Psl model checking and run-time verification via testers
Boogie: A modular reusable verifier for object-oriented programs
Ten Commandments of Formal Methods
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
Further steps towards efficient runtime verification: handling probabilistic cost models
Computer Aided Verification
Formal Verification of Financial Algorithms
Behavioral consistency of C and Verilog programs using bounded model checking
A formally verified compiler for Lustre
Formal verification problems in a big data world: towards a mighty synergy
SLAM and static driver verifier: Technology transfer of formal methods inside Microsoft
A FEM-Experimental Approach for the Development of a Conceptual Linear Actuator Based on Tendril's Free Coiling
Smart Agents: When Lower Search Costs for Quality Information Increase Price Sensitivity
Trust in Online Shopping: The Korean Student Experience
The C programming language
Audit-firm group appointment: an artificial intelligence approach