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