Tags

• pluscal

• Learning formal verification by writing a spec for verifying a zero-downtime database migration in PlusCal

• formal-verification

• Learning formal verification by writing a spec for verifying a zero-downtime database migration in PlusCal

• python

• Using TLS certificates properly with requests library in Python

• go

• Implementing unbounded nonblocking channels in Go