C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A reduction-based approach towards scaling up formal analysis of internet configurations.
Anduo Wang
Alexander J. T. Gurney
Xianglong Han
Jinyan Cao
Boon Thau Loo
Carolyn L. Talcott
Andre Scedrov
Published in:
INFOCOM (2014)
Keyphrases
</>
formal analysis
payment protocol
email
formal methods
internet users
ban logic
reduction method
machine learning
relational databases
black box
agent model
job search