About
About Veriformatics
Veriformatics, Inc. is an independent Delaware C corporation developing formal-verification tools and services for bioinformatics.
We pair open-source software with paid scientific analysis, specification review and scoped verification work. The company is at an early stage, with a focus on connecting mathematical guarantees to the computations used in research.