Specifying and Verifying Concurrent C Programs with TLA+.

Amira Methni Matthieu Lemerre Belgacem Ben Hedia Serge Haddad Kamel Barkaoui

Published in: FTSCS (2014)

Keyphrases

neural network
concurrent programs
temporal logic
model checking
concurrent programming
concurrent execution
intermediate level
database
expert systems
web services
automatic programming
information systems
social networks
machine learning
databases
data sets
real time