The Resource A Roadmap for Formal Property Verification, by Pallab DasGupta, (electronic resource)

A Roadmap for Formal Property Verification, by Pallab DasGupta, (electronic resource)

Label
A Roadmap for Formal Property Verification
Title
A Roadmap for Formal Property Verification
Statement of responsibility
by Pallab DasGupta
Creator
Author
Author
Subject
Language
  • eng
  • eng
Summary
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples – you do not need any background on formal methods to read most parts of this book
http://library.link/vocab/creatorName
DasGupta, Pallab
Dewey number
621.395
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsaut
sGIjWRahSyI
Language note
English
LC call number
TK7888.4
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/subjectName
  • Systems engineering
  • Computer aided design
  • Electronics
  • Logic design
  • Computer engineering
  • Computer science
  • Circuits and Systems
  • Computer-Aided Engineering (CAD, CAE) and Design
  • Electronics and Microelectronics, Instrumentation
  • Logic Design
  • Electrical Engineering
  • Mathematical Logic and Formal Languages
Label
A Roadmap for Formal Property Verification, by Pallab DasGupta, (electronic resource)
Instantiates
Publication
Note
Description based upon print version of record
Bibliography note
Includes bibliographical references (p. [243]-248) and index
Carrier category
online resource
Carrier category code
cr
Content category
text
Content type code
txt
Contents
Languages for Temporal Properties -- How Does the Property Checker Work? -- Is My Specification Consistent? -- Have I Written Enough Properties? -- Design Intent Coverage -- Test Generation Games -- A Roadmap for Formal Property Verification
Dimensions
unknown
Extent
1 online resource (261 p.)
Form of item
online
Isbn
9781402047589
Media category
computer
Media type code
c
Other control number
10.1007/978-1-4020-4758-9
Specific material designation
remote
System control number
  • (CKB)1000000000283299
  • (EBL)324510
  • (OCoLC)209938704
  • (SSID)ssj0000773630
  • (PQKBManifestationID)12299130
  • (PQKBTitleCode)TC0000773630
  • (PQKBWorkID)10830450
  • (PQKB)10153743
  • (SSID)ssj0000238883
  • (PQKBManifestationID)11215678
  • (PQKBTitleCode)TC0000238883
  • (PQKBWorkID)10238344
  • (PQKB)10783758
  • (DE-He213)978-1-4020-4758-9
  • (MiAaPQ)EBC324510
  • (EXLCZ)991000000000283299
Label
A Roadmap for Formal Property Verification, by Pallab DasGupta, (electronic resource)
Publication
Note
Description based upon print version of record
Bibliography note
Includes bibliographical references (p. [243]-248) and index
Carrier category
online resource
Carrier category code
cr
Content category
text
Content type code
txt
Contents
Languages for Temporal Properties -- How Does the Property Checker Work? -- Is My Specification Consistent? -- Have I Written Enough Properties? -- Design Intent Coverage -- Test Generation Games -- A Roadmap for Formal Property Verification
Dimensions
unknown
Extent
1 online resource (261 p.)
Form of item
online
Isbn
9781402047589
Media category
computer
Media type code
c
Other control number
10.1007/978-1-4020-4758-9
Specific material designation
remote
System control number
  • (CKB)1000000000283299
  • (EBL)324510
  • (OCoLC)209938704
  • (SSID)ssj0000773630
  • (PQKBManifestationID)12299130
  • (PQKBTitleCode)TC0000773630
  • (PQKBWorkID)10830450
  • (PQKB)10153743
  • (SSID)ssj0000238883
  • (PQKBManifestationID)11215678
  • (PQKBTitleCode)TC0000238883
  • (PQKBWorkID)10238344
  • (PQKB)10783758
  • (DE-He213)978-1-4020-4758-9
  • (MiAaPQ)EBC324510
  • (EXLCZ)991000000000283299

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...