| 
|
QuoteRef: ballT3_2005
Topic:
model checker
Reference
Ball, T., Millstein, T., Rajamani, S.K., "Polymorphic predicate abstraction", ACM Transactions on Programming Language and Systems, 27, 2, March 2005, pp. 314-343. Google
abstract ;;Quote: use predicate abstraction for model checking with symbolic names for values; these models may be reused across multiple applications in an open environment; implemented for boolean abstractions
Topic: model checker (49 items)