Tool Platforms for Embedded Modeling, Analysis and Validation CAV

  • Michael Rygaard Hansen (Lecturer)

Activity: Talks and presentations › Talks and presentations in private or public companies

Description

The CAV conference is dedicated to the theory and practice of computer aided formal analysis methods for hardware and software systems. It has traditionally drawn contributions from researchers as well as practitioners in both academia and industry.
Period1 Jul 2007
Event titleComputer Aided Verification Conference
Event typeConference
OrganiserARTIST2
LocationBerlin, GermanyShow on map