1 option
2013 Formal Methods in Computer-Aided Design : (FMCAD 2013) : Portland, Oregon, USA 20-23 October 2013 / edited by Barbara Jobstmann and Sandip Ray.
- Format:
- Book
- Language:
- English
- Subjects (All):
- Computer-aided design--Congresses.
- Computer-aided design.
- Physical Description:
- 1 online resource (vi, 232 pages) : illustrations
- Other Title:
- Formal Methods in Computer-Aided Design
- Place of Publication:
- Piscataway, NJ : IEEE, 2013.
- Summary:
- FMCAD is the thirteen in a series of international conferences on the theory and applications of formal methods in hardware and system verification.
- Contents:
- Tutorials
- Keynotes and Special Events
- Session 1: Synthesis
- Session 2: Decision Procedure Enhancements
- Session 3: Interpolation, Quantifier Elimination, Synthesis
- Session 4: Verification ofDigital, Hybrid, andAnalog Systems
- Session 5: Embedded Software Verification
- Session 6: IC3 and Debugging
- Session 7: SAT/SMT
- Session 8: Software Verification
- Author index.
- Notes:
- Description based on publisher supplied metadata and other sources.
- Includes bibliographical references and index.
- ISBN:
- 0-9835678-3-2
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.