Automatic Program Verification

Kristoffer Just Arndal Andersen

Research output: Book/anthology/dissertation/reportPh.D. thesis

Original languageEnglish
PublisherAarhus University
Number of pages160
Publication statusPublished - 2019
  • Distributed Protocol Combinators

    Andersen, K. J. A. & Sergey, I., 14 Jan 2019, Practical Aspects of Declarative Languages - 21st International Symposium, PADL 2019, Proceedings: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Alferes, J. J. & Johansson, M. (eds.). 1 ed. Lisbon, Portugal: Springer VS, Vol. 11372. p. 169 186 p. (Programming and Software Engineering).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Caper: Automatic Verification for Fine-Grained Concurrency

    Dinsdale-Young, T., da Rocha Pinto, P., Andersen, K. J. A. & Birkedal, L., 22 Apr 2017, Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings: 26th European Symposium on Programming, ESOP 2017. Yang, H. (ed.). Berlin, Heidelberg: Springer VS, Vol. 10201. p. 420-447 27 p. (Lecture Notes in Computer Science, Vol. 10201).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    198 Downloads (Pure)

Cite this