VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-...

This report describes the partially completed correctness proof of the Viper 'block model'. Viper...

It is many years since Landin, Burge and others showed us how to apply higher order techniques an...

This book presents five tutorial-style lectures on various approaches to the problem of verifying...

As the costs of power and timing become increasingly difficult to manage in traditional synchrono...

Eine grundlegende Untersuchung zur Entwicklung Asger Jorns KunsttheorieAuf den ersten Blick schei...