Verification of asynchronous concurrency and the shaped stack constraint
<p>In this dissertation, we study the verification of concurrent programs written in the programming language Erlang using infinite-state model-checking. Erlang is a widely used, higher order, dynamically typed, call-by-value functional language with algebraic data types and pattern-matching....
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Tesi |
| Lingua: | English |
| Pubblicazione: |
2014
|
| Soggetti: |