Jean Yang has a better way to catch breaking changes. She's been considering software verification, programming language design, type-systems, and type-safety for many years. She understands how to automatically enforce information flow policies and has now turned her eye towards founding Akita Software. They promise to make your APIs and Services easier to understand, map, manage, and maintain.

https://www.akitasoftware.com/