Login / Signup
Program Verification and Verification Oriented Programming.
David C. Luckham
Published in:
IFIP Congress (1977)
Keyphrases
</>
oriented programming
object oriented
model checking
multi agent
face verification
database
case study
special case
formal analysis
verification method
data sets
neural network
machine learning
artificial intelligence
formal verification
person identification