Browsing by Author "Lensink, Leonard"

Now showing items 1-10 of 10

Applying formal methods in software development
Lensink, L.
2013, Dissertation
A Proof Framework for Concurrent Programs
Lensink, L. ; Smetsers, S. ; Eekelen, M.C.J.D. van
2012, Part of book or chapter of book (Derrick, J.; Latella, D. (ed.), Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June, 18-21,2012 Proceedings, pp. 174-190)
A Proof Framework for Concurrent Programs
Lensink, L. ; Smetsers, S. ; Eekelen, M.C.J.D. van
2012, External research report
Generating Verifiable Java Code from Verified PVS Specifications
Lensink, L. ; Smetsers, S. ; Eekelen, M.C.J.D. van
2012, Part of book or chapter of book (Goodloe, A.; Person, S. (ed.), NASA Formal Methods, pp. 310-325)
Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving
Gastel, B.E. van; Lensink, L. ; Smetsers, S. ; Eekelen, M.C.J.D. van
2011, Article / Letter to editor (Science of Computer Programming, vol. 76, iss. 2, (2011), pp. 82-99)
Reentrant Readers-Writers: A Case Study Combining Model Checking and Theorem Proving.
Gastel, Bernard van; Lensink, Leonard ; Smetsers, Sjaak ; Eekelen, M.C.J.D. van
2009, Article in monograph or in proceedings (Cofer, D.; Fantechi, A. (ed.), Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 85-102)
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
Lensink, Leonard ; Smetsers, Sjaak ; Eekelen, M.C.J.D. van
2008, Article in monograph or in proceedings (Merino, P.; Leue, S. (ed.), Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 115-132)
Reentrant Readers--Writers: A Case Study Combining Model Checking and Theorem Proving
Gastel, Bernard van; Lensink, Leonard ; Smetsers, Sjaak ; Eekelen, M.C.J.D. van
2008, External research report
Induction and Co-induction in Sparkle
Lensink, L. ; Eekelen, M.C.J.D. van
2005, External research report
Induction and Co-induction in Sparkle
Lensink, L. ; Eekelen, M.C.J.D. van
2004, Article in monograph or in proceedings (Loidl, H.W. (ed.), Trends in Functional Programming (TFP 2004) : Proceedings, pp. 273-293)

Now showing items 1-10 of 10

Search Repository

Advanced Search

Browse

All of Repository

Radboud Repository

Browsing by Author "Lensink, Leonard"

Search Repository

Browse

All of Repository