Monoidics is an official sponsor of CAV in Saint Petersburg, Russia. See you there! CAV 2013 is the 25th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, maintain its recent
 |
 |
