Twisp retweeted
In a collaboration highlighting the delicate balance between consistency and efficiency in fintech applications, Galois and Twisp used the P language for systematic concurrency testing, helping build a system with world-class reliability and correctness.
galois.com/blog/2024/02/galo…
