C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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