Keyphrases
Automated Verification
67%
Control Module
60%
Data Module
60%
Modular Reasoning
60%
Counting Argument
60%
Constraint Solver
60%
Consistency Analysis
60%
Discrete Decisions
60%
Symbolic Optimisations
60%
Automatic Program
60%
Recurrence Quantification Analysis
60%
Program Execution
49%
Multithreaded Programs
45%
Data Flow Graph
45%
Concurrent Programs
45%
Hoare Triples
45%
Satisfiability Modulo Theories
45%
Numerical Invariants
37%
Program Analysis
34%
Escher
30%
Recursive Programs
30%
Parameterized Code
30%
Program Invariants
30%
Local Variables
30%
Boolean Programming
30%
Infinite State
30%
Individual Choice
30%
Location Algorithm
30%
Linear Integer Arithmetic
30%
Bit Vector
30%
Nested Locks
30%
Alternating Automata
30%
Program Tracing
30%
Numerical Precision
30%
Solvable Polynomials
30%
Polynomial Ideals
30%
Fixpoint
30%
Convex Hull Algorithm
30%
Structure Embedding
30%
Decision-dependent Uncertainty
30%
Data Dependence Analysis
30%
Parallelization
30%
Point Location
30%
Combinatorial Inference
30%
Geometric Algorithms
30%
Less Is More
30%
Consequence Finding
30%
Two-module
30%
Computational Geometry
30%
Algebraic Analysis
30%
Vector Addition Systems
30%
Correctness Properties
30%
Loop Summarization
30%
Arithmetic Games
30%
Abstraction Refinement
30%
For Loop
30%
Recurrence Relations
30%
Data Structure Invariants
30%
Non-deterministic
30%
Global Variables
30%
Strategy Improvement
30%
Boolean Abstraction
30%
Linear Arithmetic
30%
Rational Arithmetic
30%
Triangulation
30%
Benchmark Suite
30%
Imperative Programs
30%
Monotone Procedure
30%
Inductive Capacity
30%
Linear Transition
30%
Number of Threads
22%
Finite Sets
22%
Network Snapshot
22%
Sequential Data
20%
Data Flow Analysis
20%
Polynomial Maps
20%
Dataflow Model
20%
Real Arithmetic
20%
Reachability Games
20%
Syntactic Paths
20%
Impedance Mismatch
19%
Sequential Programs
17%
Quantified Formulas
15%
Quantifier Elimination
15%
Bisimulation
15%
Boolean Operation
15%
Succinctness
15%
Decidable Model
15%
SMT Solving
15%
Vector Array
15%
Symbolic Automata
15%
Heap-manipulating Programs
15%
Closed-form Representation
15%
Automated Reasoning Tools
15%
Compositional Verification
15%
Feedback Loop
15%
State Invariant
15%
Verification Method
15%
Linux Driver
15%
Proof System
15%
Computer Science
Concurrent Program
100%
Data Invariant
90%
Program Analysis
67%
Program Execution
67%
Global Variable
60%
State Invariant
60%
Local Variable
60%
Reasoning about Programs
60%
Data Flow Graph
60%
Constraint Solver
60%
Impedance Mismatch
60%
Termination Analysis
56%
Hoare Triple
45%
Satisfying Assignment
45%
for Loop
44%
Threaded Program
39%
Ranking Function
36%
Recursive Program
30%
Dynamical System
30%
Multithreaded Program
30%
Quantifier Elimination
30%
Decision-Making
30%
Binary Tree
30%
Parallelism
30%
Unknown Quantity
30%
Feedback Loop
30%
Objective Function
30%
Merge-Sort
30%
Program Trace
30%
Tree Traversal
30%
Device Driver
30%
Fixed Points
30%
Subgraph Isomorphism
30%
Formal Verification
30%
Inference Rule
30%
Linked List
30%
Abstract Machine
30%
Individual Decision
30%
Computational Geometry
30%
Liveness Property
30%
Liveness
30%
Data Manipulation
30%
Rational Vector
30%
Linear Constraint
30%
context-free language
30%
Recurrence Relation
30%
Regular Language
30%
Bit Vector
30%
Network Snapshot
30%
Transition System
22%
Abstract Interpretation
22%
Correctness Proofs
21%
Data-Flow Analysis
20%
Data Flow Model
20%
Data Dependency
19%
Sequential Program
17%
Winning Strategy
15%
Program Verification
15%
Boolean Operation
15%
Software Model
15%
Nonlinear Behavior
15%
Path Expression
15%
Abstract Method
15%
Proof System
15%
Static Program Analysis
15%
Theorem Prover
15%
Analysis Technique
15%
Functional Programming
15%
Software Verification
15%
Context-Sensitive Analysis
15%
Eigenvalue
15%
model checker
15%
Boolean Connective
15%
Prenex Normal Form
15%
Exponential Explosion
10%
Control-Flow Graph
10%
Execution Thread
10%
Meet-over-All-Paths Solution
9%
Effective Method
9%
Irrational Number
9%
Incomplete Algorithm
9%
Shared Resource
9%
Operating Procedure
9%
Multiobjective
7%
Starting Point
7%
Program Synthesis
7%
Optimization Algorithm
7%
Speed-up
7%
Running Thread
7%
Fragment Program
7%
Combinatorial Problem
5%
Annotation
5%