Login / Signup
Extensible Syntax-Oriented Verifier with Context-Dependent Recursive Verification.
Takao Shimomura
Quan Liang Chen
Muneo Takahashi
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2010)
Keyphrases
</>
context dependent
natural language
high level
semantic level
context free
low level
user centric
object oriented
java card
markup language
formal verification
data model
model checking
early vision
signature verification