DocumentCode :
3494028
Title :
Successful application of formal methods to software and hardware
fYear :
1996
fDate :
22-24 Oct 1996
Firstpage :
504
Lastpage :
506
Abstract :
This paper outlines some of the impediments to the successful application of formal methods and some suggestions for counteracting them. It considers Z specification and the PVS (Prototype Verification System) tool. It then lists some additional sources of information about formal methods in general and specific case studies
Keywords :
formal specification; formal verification; specification languages; PVS tool; Prototype Verification System; Z specification; case studies; formal methods; hardware development; information sources; method application; software development; Algebra; Application software; Educational institutions; Etching; Hardware; Impedance; Information resources; Logic; Mathematical model; Mathematics;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
WESCON/96
Conference_Location :
Anaheim, CA
ISSN :
1095-791X
Print_ISBN :
0-7803-3274-1
Type :
conf
DOI :
10.1109/WESCON.1996.554556
Filename :
554556
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3494028
بازگشت