Paper Info
Title
Panel: given that hardware verification has been an uphill battle, what is the future of software verification?
Abstract
This industrial panel is organized to discuss the views, experiences and opinions of formal methods practitioners from design automation, hardware and software industries, in order to understand the industrial needs and trends in using formal methods. In particular we discuss the current thrust on application of formal verification in software development, and what hardware formal verification experiences bring to bear for formal software verification.
Year
DOI
Venue
2004
10.1109/MEMCOD.2004.1459845
MEMOCODE
Keywords
Field
DocType
computer languages,software verification,embedded software,embedded system,logic design,application software,formal verification,programming,control systems,hardware
Functional verification,Software engineering,Computer science,Intelligent verification,Verification,Formal methods,High-level verification,Software construction,Software verification and validation,Computer hardware,Software verification
Conference
ISBN
Citations 
PageRank 
0-7803-8509-8
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Sandeep K. Shukla162691.83
Tevfik Bultan22481157.95
Constance L. Heitmeyer3898151.71