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
Subject
Genre
Language
eng
Cataloging source
COO
http://library.link/vocab/creatorName
Dasgupta, Pallab
Dewey number
621.3815
Illustrations
illustrations
Index
index present
LC call number
TK7874.58
LC item number
.D37 2006
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/subjectName
  • Integrated circuits
  • TECHNOLOGY & ENGINEERING
  • TECHNOLOGY & ENGINEERING
  • Integrated circuits
  • Ingénierie
  • Integrated circuits
Label
A roadmap for formal property verification, by Pallab Dasgupta, (electronic resource)
Link
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 243-248) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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 (xiii, 251 pages)
Form of item
online
Isbn
9781402047589
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Specific material designation
remote
Stock number
978-1-4020-4757-2
System control number
  • (OCoLC)86225182
  • (OCoLC)ocm86225182
Label
A roadmap for formal property verification, by Pallab Dasgupta, (electronic resource)
Link
Publication
Bibliography note
Includes bibliographical references (pages 243-248) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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 (xiii, 251 pages)
Form of item
online
Isbn
9781402047589
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Specific material designation
remote
Stock number
978-1-4020-4757-2
System control number
  • (OCoLC)86225182
  • (OCoLC)ocm86225182

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 ...