CHARME2005 is the thirteenth in a series of working conferences devoted to the development and use of leading–edge formal techniques and tools for the specification, design and verification of hardware and hardware–like systems. <b>Keywords:</b> formal specification languages<br>formal methods for commercial high–level description languages<br>correctness preserving transformations<br>formal synthesis methods<br>use of theorem provers for verification<br>correctness aspects in HW/SW co–design<br>abstraction and compositional techniques<br>formal timing verification<br>formal verification for special classes of virtual modules<br>formal verification of hardware/software systems<br>formal verification of hardware–dependent software<br>combinations of formal and semi–formal methods<br>synergies between methods<br>reuse of proven correct virtual modules<br>diagnosis of design errors<br>practical and industrial applications of formal techniques
Abbrevation
CHARME
City
Saarbrücken
Country
Germany
Deadline Paper
Start Date
End Date
Abstract