JBMC was victorious at the International Competition on Software Verification at ETAPS 2019 in Prague.
From the Incubator within Oxford Sciences Innovation to our own space in the heart of Oxford, here’s our take on the popular “New Year, New Me”. Only our ‘Me"‘ is an 18,000 sq ft office.
To our regular visitors, you may have noticed a lot few changes to our website, including this new revamped blog.
We’ve just launched a demo version of our product to give developers a quick way to get their hands on our product. Here I’d like to give a walkthrough of the key capabilities