There has never been a better time to learn formal specification.| buttondown.com
Author: Igor Konnov| Protocols Made Fun
Author: Igor Konnov| Protocols Made Fun
I've been wanting to learn TLA+ for a while now, and I finally had a chance to do it thanks to a seminar series held by Professor Murat Demirbas. In...| blog.fponzi.me
It is a longer article about my research, how AWS used formal methods - in particular, TLA+ to design their outstanding services like Amazon DynamoDB, Amazon EC2, or Amazon S3.| awsmaniac.com
