Adeptix Inc. is now a research partner of IBM. This partnership will
help promote IBM's advanced verification solutions in Canada,
whereby Adeptix will gain access to IBM's state-of-the-art
formal verification tools and
services. Adeptix welcomes the opportunity to begin
a research relationship with one of the world's most renowned
If you would like to receive more information about our
technology, please fill out a short contact page.