Keyphrases
Stubborn Sets
100%
Partial Order Reduction
64%
State Space
46%
Setting Method
35%
Safety Properties
35%
Reduced State
35%
Deadlock
28%
Predicate Transformer
21%
Loop Invariants
21%
Bitcoin Trading
21%
Bitcoin Network
21%
Trading Platform
21%
Feedback Behavior
21%
Transition System
21%
Bad Reputation
21%
Negative Feedback
21%
Guard
21%
One-state Reality
21%
Forward-backward
21%
Liveness Properties
14%
Ignoring Problem
14%
Partial Order Techniques
14%
Persistent Sets
14%
Truth Value
14%
Withholding
10%
Strong Components
10%
State Space Construction
10%
Trust Level
10%
Construction Method
10%
Small States
10%
Inductive Loop
10%
Craig Interpolation
10%
Invariant-based
10%
Program Verification
10%
Invisible
10%
Loop Invariant Generation
10%
Backward Reachability Analysis
10%
Inductive Invariants
10%
Counterparty Risk
10%
User Feedback
10%
Bitcoin
10%
User Reputation
10%
Program Analysis
10%
Positive Feedback
10%
Modeling Language
7%
LTSmin
7%
Model Checker
7%
Promela
7%
LTL Properties
7%
Deletion Algorithm
7%
Computer Science
Deadlock
42%
Partial Order Reduction
42%
Liveness Property
21%
Visible Transition
21%
Reduced State Space
21%
Partial Order Method
21%
Bitcoin
21%
Reachability Analysis
21%
Program Verification
21%
Transition System
21%
State Space
21%
Program Analysis
21%
Experimental Result
21%
Fundamental Problem
21%
model checker
14%
Bad Reputation
10%
modeling language
7%
Model Checking
7%
Suitable Algorithm
7%
Heuristic Algorithm
7%
User Reputation
5%
