Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions.

Malay K. Ganai Sudipta Kundu

Published in: SPIN (2009)

Keyphrases

sufficient conditions
concurrent execution
face verification
case study
model checking
database
social networks
website
artificial intelligence
genetic algorithm
neural network
environmental conditions
databases
reduction method
verification method
concurrent systems
real time