Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: Automated verification of safety properties of declarative networking programs
VeriCon: towards verifying controller programs in software-defined networks
ASPIER: An Automated Framework for Verifying Security Protocol Implementations
From Rewriting Logic, to Programming Language Semantics, to Program Verification
Petri Nets and Dependability
Psl model checking and run-time verification via testers
Action Language Verifier: An Infinite-State Model Checker for Reactive Software Specifications
Assuring safety in air traffic control systems with argumentation and model checking
ESP: path-sensitive program verification in polynomial time
Reachability Analysis and Safety Verification for Neural Network Control Systems
Formal Verification of Autonomous Vehicle Platooning
Boogie: A modular reusable verifier for object-oriented programs
Guarded commands, nondeterminacy and formal derivation of programs
From AADL to Timed Automaton-A Verification Approach
Mop: an efficient and generic runtime verification framework
Integrating formal verification in an online judge for e-Learning logic circuit design
Practical Formal Verification of Domain-Specific Language Applications
Athena: a new efficient automatic checker for security protocol analysis
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Behavioral consistency of C and Verilog programs using bounded model checking
Soundness of workflow nets: classification, decidability, and analysis
similarity technique used in ir and its application .
Loss in Children with Congenital Cytomegalovirus Infection
Real Time Network Policy Checking using Header Space Analysis
Improving the agility of keyframe-based SLAM
A Survey on Cloud Computing Scheduling Algorithms