Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic
IPSJ Transactions on System LSI Design Methodology - Japan
doi 10.2197/ipsjtsldm.3.105
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2010
Authors
Publisher
Information Processing Society of Japan