Formal Methods for Hardware Verification
Subtitle: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Lectures (Lecture Notes in Computer Science)
Contributors: Marco Bernardo (Editor); Alessandro Cimatti (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 6, 2006
Language: eng
Format: Paperback
Number of pages: 243
ISBN-13: 9783540343042
Subjects: Systems analysis & design; Computers; Computers - Languages / Programming; Computer Books: General; Programming - Software Development; Computers / Programming / Software Development; Petri-nets; SAT solvers; automata; communication system design; formal methods; formal specification; hardware description; hardware design; hardware verification; performance analysis; real-time systems; specification languages; Networking - General; Programming - Systems Analysis & Design