Reachability Analysis for AWS-Based Networks
Authors:
- John BackesJBJohn Backes
- Sam BaylessSBSam Bayless
- Byron CookBCByron Cook
- Catherine DodgeCDCatherine Dodge
- Andrew GacekAGAndrew Gacek
- Alan J. HuAHAlan J. Hu
- Temesghen KahsaiTKTemesghen Kahsai
- Bill KocikBKBill Kocik
- Evgenii KotelnikovEKEvgenii Kotelnikov
- Jure KukovecJKJure Kukovec
- Sean McLaughlinSMSean McLaughlin
- Jason ReedJRJason Reed
Open Access
- 12 July 2019
- book chapter
- Published by Springer Nature
- p. 231-241
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- The vampire and the FOOL2016
- Checking Cloud Contracts in Microsoft Azure2015
- VeriCon2014
- First-Order Theorem Proving and Vampire2013
- Debugging the data plane with anteater2011
- μZ– An Efficient Engine for Fixed Points with Constraints2011
- codeQuest: Scalable Source Code Queries with Datalog2006
- Symbolic Model Checking without BDDs1999
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- Negation as Failure1978