Embedding and Verification of PSL using AsmL.

Amjad Gawanmeh Ali Habibi Sofiène Tahar

Published in: Abstract State Machines (2005)

Keyphrases

model checking
formal verification
vector space
probabilistic model
signature verification
functional verification
robust image watermarking
real time
learning algorithm
case study
multiscale
formal methods
document analysis
graph embedding
high security