Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3.
James BornholtRajeev JoshiVytautas AstrauskasBrendan CullyBernhard KraglSeth MarkleKyle SauriDrew SchleitGrant SlattonSerdar TasiranJacob Van GeffenAndrew WarfieldPublished in: SOSP (2021)
Keyphrases
- lightweight
- formal methods
- model checking
- formal analysis
- software engineering
- knowledge based systems
- formal specification
- artificial intelligence
- process algebra
- wireless sensor networks
- development environments
- safety critical
- intrusion detection
- dos attacks
- block cipher
- communication infrastructure
- rfid tags
- data model
- natural language