Innotrans 2012: We prove that your software is responding properly!
Date:
Sep. 17, 2012
Location:
Visit us from 18 to 21 September 2012 at the
InnoTrans in Hall 4.1, Stand 225. We will be demonstrating how deductive verification methods can be used to prove that the software of such safety-critical systems works faultlessly.