Formal system verification : state-of the-art and future trends /: state-of the-art and future trends. ([2018])

• Record Type: Book
• Further Information: Note: Rolf Drechsler, editor.
• Editors: Drechsler, Rolf
• Contents: Formal Techniques for Verification and Coverage Analysis of Analog Systems -- Verification of Incomplete Designs -- Probabilistic Model Checking: Advances and Applications -- Software in a Hardware View -- Formal Verification -- The Industrial Perspective.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource
• Subjects: 005.1/4; Engineering; Computer systems -- Verification; Computer software -- Verification; Integrated circuits -- Verification; Electronic systems; COMPUTERS / Software Development & Engineering / Quality Assurance & Testing; Computer software -- Verification; Computer systems -- Verification; Electronic systems; Integrated circuits -- Verification; Computers -- Systems Architecture -- General; Technology & Engineering -- Electronics -- General; Computer architecture & logic design; Electronics engineering; Systems engineering; Computer science; Electronics; Technology & Engineering -- Electronics -- Circuits -- General; Circuits & components; Electronic books
• Languages: English
• ISBNs: 9783319576855; 3319576852
• Related ISBNs: 9783319576831; 3319576836
• Notes: Note: Includes bibliographical references.; Note: Vendor-supplied metadata.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.