Cognitionbox.Com

We enable you to "Trust Your Code". We deliver Trust via simple verification systems, including: Exhaust: An intelligent fuzzing runtime verifcation tool for Java. Petra: A formally verifiable Java library extension and automatic verifier, for parallel and distributed systems. VertC: Pay as you go verification minutes in the cloud. Email us with your interest: ah1m20@soton. ac. uk
Social Link - Linkedin: http://www. linkedin.com/company /cognitionbox. io
Employee Count: 1
Keywords: b2b