Let a Neural Network Be Your Invariant

Keyphrases

• Neural Network 100%
• Liveness 100%
• Neural Model 66%
• Ranking Function 50%
• Inductive Invariants 50%
• Safety Properties 33%
• Safety Verification 33%
• Neural Certificates 33%
• Order of Magnitude 16%
• Reactive Systems 16%
• Gradient Descent 16%
• Verification Task 16%
• Formal Verification 16%
• Data-driven Approach 16%
• New Architecture 16%
• Model Checker 16%
• Linear Temporal Logic 16%
• Undesired Behavior 16%
• Temporal Logic Specification 16%
• Constraint Solver 16%
• State-of-the-art Models 16%
• Progress Measure 16%
• SystemVerilog 16%
• Safety Function 16%
• Functional Correctness 16%
• Liveness Verification 16%
• Liveness Properties 16%
• Proof of Safety 16%
• Executable Specification 16%

Computer Science

• Neural Network 100%
• Liveness 100%
• Model Checking 57%
• Ranking Function 42%
• Invariant 28%
• Gradient Descent 14%
• Driven Approach 14%
• Formal Verification 14%
• model checker 14%
• Reactive System 14%
• Linear Temporal Logic 14%
• Undesired Behavior 14%
• Constraint Solver 14%
• Correctness 14%
• Liveness Property 14%