The document was issued by industry or industrial organization.
file
Presented as part of the 2012 HCSS conference.
Abstract:
I will describe a new approach to the old problem of automatic temporal property verification. As well as leading to dramatic performance improvements over existing techniques, this approach also brings some light to a couple of age-old questions.
Biography:
file
Abstract:
This talk presents a design flow and supporting tools to significantly improve the design and verification of complex cyber-physical systems. We focus on system architecture models composed from libraries of components and complexity-reducing design patterns having formally verified properties. This allows new system designs to be developed rapidly using patterns that have been shown to reduce unnecessary complexity and coupling between components.
file
Presented as part of the 2012 HCSS conference.
Abstract:
"Invent a better mousetrap and the world will beat a path to your door? Not!"
