Search alternatives:
compact models » compact modeling, complex models, component models
Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... by Compositional Model Checking -- Proof Engineering in the Large: Formal Verification of Pentium®4 Floating-Point...”
Cover Image
Read Now

2
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Algorithms in Automated Assume-Guarantee Reasoning -- Inferring Compact Models of Communication Protocol...”