Tool Platforms for Embedded Modeling, Analysis and Validation CAV

Michael Rygaard Hansen (Lecturer)

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


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 typeConference
LocationBerlin, Germany