Modular verification of a non-blocking stack.

Matthew J. Parkinson Richard Bornat Peter W. O'Hearn

Published in: POPL (2007)

Keyphrases

model checking
formal verification
verification method
neural network
functional verification
modular neural networks
concurrent systems
modular structure
record linkage
asynchronous circuits
false acceptance
person identification
face verification
temporal logic
web services
website
feature selection