TLA+ is a high-level programming language used to model complex, concurrent, and distributed programs and systems. It was created by Leslie Lamport and is backed by Amazon Web Services, Microsoft, and ...

Gowtham Kaki is an assistant professor joining the Department of Computer Science in fall 2020. His research is in the areas of Programming Languages and Formal Methods with a focus on automated ...

Formal methods are a suite of mathematically grounded techniques that underpin the design, specification, and verification of programming languages and software systems. They involve the use of ...