×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [generalized symbolic]
SYMBOLIC MODEL CHECKING: 10 20 STATES AND BEYOND J.R. Burch E.M. Clarke K.L. McMillan D. L. Dill L. J. Hwang Presented by Rehana Begam
225 views
Hybrid Program Analysis for Error Detection
36 views
SYMBOLIC MODEL CHECKING : 10 20 STATES AND BEYOND
62 views
Stigma: Management of a spoiled social identity
39 views
Stigma: Management of a spoiled social identity
79 views