About Inferara
- -We do research in formal methods for protecting critical digital and financial systems.
- -Our goal is to make critical digital and financial infrastructure safer and more reliable for institutions and users.
Our team unites people who share experience in science and engineering.
- -We know what engineers and developers do every day, because we daily write code ourselves; thus, we understand what tools and methods would work.
- -Our specializations are automated theorem proving and model checking: Coq and TLA+.
- -We frontrun academic-style research before writing any new line of code.
If you don't do this design right from the beginning, then every piece of the code you write is a patch. And you start out from day 1 with a mess.
Company Information
| Company Name | Inferara Corp. Ltd. |
|---|---|
| Address | 3F S0-12, 2-6-11 Daimyo, Chuo-ku, Fukuoka-shi, Fukuoka 810-0041, Japan |
| Business Hours | Weekdays 10:00–18:00 |
| info@inferara.com |
We welcome collaboration with engineering, risk, and security teams across software and financial infrastructure. If you are evaluating high-assurance methods, we would be glad to exchange ideas.