Keyphrases
Inductive Invariants
53%
Abstraction Refinement
43%
Calculus
35%
Distributed Protocol
34%
First-order Logic
28%
Infinite-state Systems
27%
Abstract Model
27%
Invariant Inference
26%
Safety Properties
25%
Automata
23%
Abstract Interpretation
22%
Deductive Verification
21%
Compositional Verification
19%
Property-directed Reachability
18%
Assume-guarantee Reasoning
17%
Multi-valued
17%
Specification Mining
17%
Verification Conditions
17%
Distributed Systems
16%
Quantifier Instantiation
16%
Temporal Specification
16%
Model-checking Games
16%
Safety Verification
15%
Constrained Horn Clauses
14%
SAT-based
14%
SMT Solver
14%
Temporal Properties
13%
Undecidable
13%
Middlebox
13%
Stateful Networks
13%
Transition System
12%
Quantified Invariants
12%
Abstract Domains
12%
Counterexample-guided Abstraction Refinement
12%
Synthesizer
11%
Game-based
11%
Universal Invariants
11%
Hyperproperties
11%
Decision Procedure
11%
Lazy Abstraction
11%
Partial Specification
11%
Abstract State
10%
Main Idea
10%
Verification Method
10%
Under-approximation
10%
Paxos
10%
Fully-automatic
10%
Static Analysis
10%
Complexity Results
10%
Concurrent Programs
10%
Computer Science
Invariant
100%
Model Checking
88%
Distributed Protocol
41%
Automaton
36%
Valued Semantics
24%
Static Program Analysis
22%
Transition System
22%
Abstract Interpretation
21%
Instantiation
19%
Specification Mining
17%
Data Structure
16%
Decision Procedure
16%
Distributed System
16%
Formal Verification
15%
Computer Hardware
14%
temporal property
13%
Concurrent Program
13%
Approximation (Algorithm)
13%
Constrained Horn Clause
12%
Model Checking Algorithm
12%
Partial Specification
12%
State Space
11%
Individual Component
10%
Refinement Step
10%
Complexity Result
9%
Firewall
8%
Software-Defined Networking
8%
Abstract Component
8%
Definite Value
8%
Educational Resource
8%
Usage Scenario
8%
Loop Iteration
8%
Interaction Model
8%
Answering Query
8%
Open Source Project
8%
Runtime Complexity
8%
Distributed Algorithm
8%
Program Verification
8%
Syntactics
8%
Temporal Verification
8%
Soundness
7%
Learning System
7%
Machine Learning
7%
Verification Process
7%
Ranking Function
7%
Transition Relation
7%
Web Page
6%
Symbolic Execution
6%
modeling language
6%
Linked List
6%