28th International Conference on Computer Aided Verification CAV'16

  • Date: -
  • Time: All day
  • Location: Toronto, Ontario, Canada

Fortiss participated at CAV 2016 which is the 28th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.  The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. Publication: Structural Synthesis for GXW Specifications, Cheng CH., Hamza Y., Ruess H. Lecture Notes in Computer Science, vol 9779. June, 2016, Springer.

Back to all events