C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Syntactic Optimizations for PSL Verification.
Alessandro Cimatti
Marco Roveri
Stefano Tonetta
Published in:
TACAS (2007)
Keyphrases
</>
natural language
model checking
face verification
databases
syntactic semantic
asynchronous circuits
higher level
text mining
formal verification
cryptographic protocols
person identification
english text
neural network
syntactic structures
verification method
attribute grammars
syntactic categories
data sets