This text is devoted to the discussion of recent developments in the field of decision diagram-based formal verification. Different types of decision diagrams are introduced and theoretical properties are discussed that give further insight into the data structure, then implementation andminimization concepts are presented.

192 pages, 5 black & white illustrations, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	December 2, 2010
ISBN13	9781441949851
Publishers	Springer-Verlag New York Inc.
Pages	179
Dimensions	156 × 234 × 10 mm · 276 g
Language	English

Show all

More by Rolf Drechsler

See all of Rolf Drechsler ( e.g. Paperback Book , Hardcover Book and Book )