Login / Signup

A reduction-based approach towards scaling up formal analysis of internet configurations.

Anduo WangAlexander J. T. GurneyXianglong HanJinyan CaoBoon Thau LooCarolyn L. TalcottAndre 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