Preface by the section editor

Tiziana Margaria

doi:10.1007/s10009-002-0106-1

Preface by the section editor

Tiziana Margaria

TU Dortmund University

Research output: Contribution to journal › Editorial

Abstract

This special section is devoted to some of the novel approaches to hardware-like system verification that are currently being used in industry or the object of fielded research. The topics presented in this special section are based on a selection of the papers which appeared originally in the Proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Verification Methods which took place in Livingston, Scotland, UK in September 2001. They are by no means a complete account of the numerous ways in which hardware and hardware-like systems are being subject to rigorous investigation, but they represent an interesting sample of today's problems and of the techniques oriented around new uses of verification techniques.

Original language	English
Pages (from-to)	266-270
Number of pages	5
Journal	International Journal on Software Tools for Technology Transfer
Volume	4
Issue number	3
DOIs	https://doi.org/10.1007/s10009-002-0106-1
Publication status	Published - 2003
Externally published	Yes

Access to Document

10.1007/s10009-002-0106-1

Cite this

@article{440f2cc233094959b366152abfb62de4,

title = "Preface by the section editor",

abstract = "This special section is devoted to some of the novel approaches to hardware-like system verification that are currently being used in industry or the object of fielded research. The topics presented in this special section are based on a selection of the papers which appeared originally in the Proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Verification Methods which took place in Livingston, Scotland, UK in September 2001. They are by no means a complete account of the numerous ways in which hardware and hardware-like systems are being subject to rigorous investigation, but they represent an interesting sample of today's problems and of the techniques oriented around new uses of verification techniques.",

author = "Tiziana Margaria",

year = "2003",

doi = "10.1007/s10009-002-0106-1",

language = "English",

volume = "4",

pages = "266--270",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

number = "3",

}

TY - JOUR

T1 - Preface by the section editor

AU - Margaria, Tiziana

PY - 2003

Y1 - 2003

N2 - This special section is devoted to some of the novel approaches to hardware-like system verification that are currently being used in industry or the object of fielded research. The topics presented in this special section are based on a selection of the papers which appeared originally in the Proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Verification Methods which took place in Livingston, Scotland, UK in September 2001. They are by no means a complete account of the numerous ways in which hardware and hardware-like systems are being subject to rigorous investigation, but they represent an interesting sample of today's problems and of the techniques oriented around new uses of verification techniques.

AB - This special section is devoted to some of the novel approaches to hardware-like system verification that are currently being used in industry or the object of fielded research. The topics presented in this special section are based on a selection of the papers which appeared originally in the Proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Verification Methods which took place in Livingston, Scotland, UK in September 2001. They are by no means a complete account of the numerous ways in which hardware and hardware-like systems are being subject to rigorous investigation, but they represent an interesting sample of today's problems and of the techniques oriented around new uses of verification techniques.

UR - http://www.scopus.com/inward/record.url?scp=84896836780&partnerID=8YFLogxK

U2 - 10.1007/s10009-002-0106-1

DO - 10.1007/s10009-002-0106-1

M3 - Editorial

AN - SCOPUS:84896836780

SN - 1433-2779

VL - 4

SP - 266

EP - 270

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 3

ER -

Preface by the section editor

Abstract

Access to Document

Other files and links

Fingerprint

Cite this