Login / Signup

Douglas L. Perry, Harry D. Foster, Applied Formal Verification. Hardcover, pp 237, Plus XIV. New York: McGraw Hill; 2005, ISBN 0-07-144372-X.

Mile K. Stojcev
Published in: Microelectron. Reliab. (2008)
Keyphrases
  • formal verification
  • mcgraw hill
  • data sets
  • data mining
  • model checking
  • automated verification