A Kind Community

KindSoftware is a research group, community, and company dedicated to advocating the use of applied formal methods for software development through education, community building, and by example.

Our goal is to help everyone who creates or uses software realize quality through the intelligent and reasonable application of applied formal methods and complementary tools.