Correct hardware design and verification methods. 12th IFIP WG 10. 5 advanced research working conference, CHARME 2003, L'Aquila, Italy, October 21--24, 2003. Proceedings
type: Item
instance of: scholarly article
title: Correct hardware design and verification methods. 12th IFIP WG 10. 5 advanced research working conference, CHARME 2003, L'Aquila, Italy, October 21--24, 2003. Proceedings
zbMATH Open document ID: 1028.00029
published in: Lecture Notes in Computer Science
publication date: 2003-12-16T00:00:00Z
full work available at URL: t2860.htm
review text: The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0971.00031). Indexed articles: \textit{Sheeran, Mary}, Finding regularity: Describing and analysing circuits that are not quite regular, 4-18 [Zbl 1179.68011] \textit{Chaki, Sagar; Clarke, Edmund; Groce, Alex; Strichman, Ofer}, Predicate abstraction with minimum predicates, 19-34 [Zbl 1179.68033] \textit{Barner, Sharon; Rabinovitz, Ishai}, Efficient symbolic model checking of software using partial disjunctive partitioning, 35-50 [Zbl 1179.68077] \textit{Beyer, Sven; Jacobi, Chris; Kröning, Daniel; Leinenbach, Dirk; Paul, Wolfgang J.}, Instantiating uninterpreted functional units and memory system: Functional verification of the VAMP, 51-65 [Zbl 1179.68009] \textit{Aagaard, Mark D.}, A hazards-based correctness statement for pipelined circuits, 66-80 [Zbl 1179.68008] \textit{Gurumurthy, Sankar; Kupferman, Orna; Somenzi, Fabio; Vardi, Moshe Y.}, On complementing nondeterministic Büchi automata, 96-110 [Zbl 1179.68070] \textit{Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y.}, Coverage metrics for formal verification, 111-125 [Zbl 1179.68080] \textit{Sebastiani, Roberto; Tonetta, Stefano}, ``More deterministic'' vs. ``smaller'' Büchi automata for efficient LTL model checking, 126-140 [Zbl 1179.68095] \textit{Tzoref, Rachel; Matusevich, Mark; Berger, Eli; Beer, Ilan}, An optimized symbolic bounded model checking engine, 141-149 [Zbl 1179.68096] \textit{Sammane, Ghiath Al; Toma, Diana; Schmaltz, Julien; Ostier, Pierre; Borrione, Dominique}, Constrained symbolic simulation with Mathematica and ACL2, 150-157 [Zbl 1179.68094] \textit{Abu-Haimed, Husam; Berezin, Sergey; Dill, David L.}, Semi-formal verification of memory systems by symbolic simulation, 158-163 [Zbl 1179.68075] \textit{Roux, Cédric; Encrenaz, Emmanuelle}, CTL may be ambiguous when model checking Moore machines, 164-169 [Zbl 1179.68093] \textit{Hu, Alan J.; Casas, Jeremy; Yang, Jin}, Reasoning about …
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68M07
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2018364
zbMATH Keywords: Correct hardware design
zbMATH Keywords: Verification methods
zbMATH Keywords: IFIP WG 10.5
zbMATH Keywords: CHARME 2003
zbMATH Keywords: L'Aquila (Italy)
describes a project that uses: Mathematica
MaRDI profile type: Publication
OpenAlex ID: W219731125
DOI: 10.1007/B93958
description: scientific article; zbMATH DE number 2018364