are interested in developing tools for academia and industry requiring
an intensive use of Formal Methods. Our staff is highly skilled
to work with C, C++, Haskell, Linux and its kernel, TCP/IP, system
programming, device driver programming, cryptography, CSP, TLA,
Z, Larch, Statecharts, Coq, object oriented design (OOD), software
architecture styles, computer security, multi-level security (MLS),
formal security models, etc.
we are seeking for partners, investors, sponsors or funding institutions
interested in supporting any of our projects.
our technical skills, you will find our fees very competitive.
invite you to contact us: email@example.com