11. CHARME 2001:
Livingston, Scotland, UK Tiziana Margaria , Thomas F. Melham (Eds.):
Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings.
Lecture Notes in Computer Science 2144 Springer 2001, ISBN 3-540-42541-1 Invited Contributions
export record as
dblp key:
export record as
dblp key:
FMCAD 2000
export record as
dblp key:
Model Checking 1
export record as
dblp key:
Ofer Strichman :
Pruning Techniques for the SAT-Based Bounded Model Checking Problem.
58-70
export record as
dblp key:
Short Papers 1
export record as
dblp key:
Dirk Beyer :
Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs.
86-91
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Clocking Issues
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/charme/WinstanleyG01
Short Papers 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/charme/RadhakrishnanTV01
Joint Session with TPHOLs
export record as
dblp key:
Kenneth L. McMillan :
Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking.
179-195
export record as
dblp key:
Hardware Compilation
export record as
dblp key:
Steve McKeever ,
Wayne Luk :
Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques.
212-227
export record as
dblp key:
Tools
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Model Checking 2
export record as
dblp key:
conf/charme/ChauhanCJKVW01 export record as
dblp key:
Component Verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Case Studies
export record as
dblp key:
export record as
dblp key:
Algorithm Verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Duration Calculus
export record as
dblp key:
export record as
dblp key:
conf/charme/XuandongYJYTG01
data released under the ODC-BY 1.0 license
