mCRL2: Analysing System Behaviour
http://www.mcrl2.org
MPJ Express
http://mpj-express.org
A. Amighi
S. Blom
S. Darabi
M. Huisman
W. Mostowski
M. Zaharieva-Stojanovski
2014
Verification of Concurrent Systems with VerCors
SFM: Executable Software Models
LNCS, vol. 8483
Springer, Heidelberg
172–216
10.1007/978-3-319-07317-0_5
K.R. Apt
D.C. Kozen
1986
Limits for Automatic Verification of Finite-State Concurrent Systems
Information Processing Letters
22
6
307–309
10.1016/0020-0190(86)90071-2
S. Blom
M. Huisman
2014
The VerCors Tool for verification of concurrent programs
FM 2014: Formal Methods
LNCS, vol. 8442
Springer, Heidelberg
127–131
10.1007/978-3-319-06410-9_9
J.F. Groote
M.R. Mousavi
2014
Modeling and Analysis of Communicating Systems
MIT Press
R.H. Halstead
1985
Multilisp: A Language for Concurrent Symbolic Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
7
4
501–538
10.1145/4472.4478
Y. Hanna
S. Basu
Rajan H.
2009
Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems
325–334
10.1145/1595696.1595758
T. Hoare
J. Misra
2008
Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project
Verified Software: Theories, Tools, Experiments (VSTTE)
LNCS, vol. 4171
Springer, Heidelberg
1–18
10.1007/978-3-540-69149-5_1
T. Hoare
P.W. O'Hearn
2008
Separation Logic Semantics for Communicating Processes
First International Conference on Foundations of Informatics, Computing and Software (FICS)
ENTCS, Sci. 212
Elsevier
3–25
10.1016/j.entcs.2008.04.050
K. Honda
E. Marques
F. Martins
N. Ng
V.T. Vasconcelos
N. Yoshida
2012
Verification of MPI Programs using Session Types
EuroMPI'12
LNCS, vol. 7940
Springer
291–293
10.1007/978-3-642-33518-1_37
B. Liskov
L. Shrira
1988
Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems
PLDI
10.1145/960116.54016
R. Milner
1980
A Calculus of Communicating Systems
LNCS, vol. 92
Springer-Verlag, Berlin, Germany
10.1007/3-540-10235-3
P.W. O'Hearn
2007
Resources, concurrency, and local reasoning
Theoretical Computer Science
375
1
271–307
10.1016/j.tcs.2006.12.035
A. Vo
S. Vakkalanka
M. DeLisi
G. Gopalakrishnan
R. Kirby
R. Thakur
2009
Formal Verification of Practical MPI Programs
PPOPP
vol. 44
ACM, New York
261–270
10.1145/1594835.1504214
M. Zaharieva-Stojanovski
2015
Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs
CTIT Ph.D. Thesis Series No. 15-375
University of Twente
10.3990/1.9789036539241