Premise Programming Language

Premise: a verified programming language from Microsoft Research for building robust distributed systems.

Premise is a programming language developed by Microsoft Research specifically for the creation and verification of distributed systems. It enables developers to write code with strong guarantees about correctness and behavior, crucial for complex, concurrent environments. The language integrates formal verification methods, allowing for the rigorous proof of system properties directly within the development process. This approach aims to reduce bugs and enhance the reliability of distributed applications, a significant advantage in critical infrastructure and cloud computing.

https://www.microsoft.com/en-us/research/project/premise-a-programming-language-for-writing-and-verifying-distributed-systems/