Matches in Library of Congress for { <http://lccn.loc.gov/2010921140> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2010921140 contributor B12085291.
- 2010921140 created "c2010.".
- 2010921140 date "2010".
- 2010921140 date "c2010.".
- 2010921140 dateCopyrighted "c2010.".
- 2010921140 description "ACL2 and its applications to digital system verification / Matt Kaufmann and J. Strother Moore -- mechanically verified commercial SRT divider / David M. Russinoff -- Use of formal verification at Centaur Technology / Warren A. Hunt, Jr., Sol Swords, Jared Davis and Anna Slobodova -- Designing tunable, verifiable cryptographic hardware using Cryptol / Sally Browning and Philip Weaver -- Verifying pipelines with BAT / Panagiotis Manolios and Sudarshan K. Srinivasan -- Formal verification of partition management for the AAMP7G microprocessor / Matthew M. Wilding, David A. Greve, Raymond J. Richards and David S. Hardin -- Compiling higher order logic by proof / Konrad Slind, Guodong LI and Scott Owens -- Specification and verification of ARM hardware and software / Anthony C. J. Fox, Michael J. C. Gordon and Magnus O. Myreen -- Information security modeling and analysis / David A. Greve -- Modeling and security analysis of a commercial real-time operating system kernel / Raymond J. Richards -- Refinement in the formal verification of the SeL4 microkernel / Gerwin Klein, Thomas Sewell and Simon Winwood -- Specification and checking of software contracts for conditional information flow / Torben Amtoft, John Hatcliff and Edwin Rodriguez / Robby / Jonathan Hoag and David Greve -- Model checking information flow / Michael W. Whalen, David A. Greve and Lucas G. Wagner.".
- 2010921140 description "Includes bibliographical references and index.".
- 2010921140 extent "xiv, 436 p. :".
- 2010921140 identifier "9781441915382 (hbk.)".
- 2010921140 identifier "9781441915399 (e-ISBN)".
- 2010921140 issued "2010".
- 2010921140 issued "c2010.".
- 2010921140 language "eng".
- 2010921140 publisher "New York ; London : Springer,".
- 2010921140 subject "629.895416 22".
- 2010921140 subject "Programmable controllers Design and construction.".
- 2010921140 subject "Programmable controllers Testing.".
- 2010921140 subject "TJ223.P76 D47 2010".
- 2010921140 tableOfContents "ACL2 and its applications to digital system verification / Matt Kaufmann and J. Strother Moore -- mechanically verified commercial SRT divider / David M. Russinoff -- Use of formal verification at Centaur Technology / Warren A. Hunt, Jr., Sol Swords, Jared Davis and Anna Slobodova -- Designing tunable, verifiable cryptographic hardware using Cryptol / Sally Browning and Philip Weaver -- Verifying pipelines with BAT / Panagiotis Manolios and Sudarshan K. Srinivasan -- Formal verification of partition management for the AAMP7G microprocessor / Matthew M. Wilding, David A. Greve, Raymond J. Richards and David S. Hardin -- Compiling higher order logic by proof / Konrad Slind, Guodong LI and Scott Owens -- Specification and verification of ARM hardware and software / Anthony C. J. Fox, Michael J. C. Gordon and Magnus O. Myreen -- Information security modeling and analysis / David A. Greve -- Modeling and security analysis of a commercial real-time operating system kernel / Raymond J. Richards -- Refinement in the formal verification of the SeL4 microkernel / Gerwin Klein, Thomas Sewell and Simon Winwood -- Specification and checking of software contracts for conditional information flow / Torben Amtoft, John Hatcliff and Edwin Rodriguez / Robby / Jonathan Hoag and David Greve -- Model checking information flow / Michael W. Whalen, David A. Greve and Lucas G. Wagner.".
- 2010921140 title "Design and verification of microprocessor systems for high-assurance applications / David S. Hardin, editor.".
- 2010921140 type "text".