The Effect of Concurrent Programming Idioms on Verification - A Position Paper.

David Harel Guy Katz Assaf Marron Gera Weiss

Published in: MODELSWARD (2015)

Keyphrases

concurrent programming
concurrent programs
programming language
model checking
artificial intelligence
formal verification
databases
machine learning
general purpose