Treffer 1 - 20 von 430 für Suche 'Rustan, K.', Suchdauer: 0,92s Treffer weiter einschränken
  1. 1
    Dafny: An Automatic Program Verifier for Functional Correctness

    Dafny: An Automatic Program Verifier for Functional Correctness von Leino, K. Rustan M.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Accessible Software Verification with Dafny

    Accessible Software Verification with Dafny von Leino, K. Rustan M.

    Veröffentlicht in IEEE software

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Behavioral Interface Specification Languages

    Behavioral Interface Specification Languages von HATCLIFF, John, LEAVENS, Gary T, LEINO, K. Rustan M, MULLER, Peter, PARKINSON, Matthew

    Veröffentlicht in ACM computing surveys

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The Spec# Programming System: An Overview

    The Spec# Programming System: An Overview von Barnett, Mike, Leino, K. Rustan M., Schulte, Wolfram


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Efficient weakest preconditions

    Efficient weakest preconditions von Leino, K. Rustan M.

    Veröffentlicht in Information processing letters

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    An overview of JML tools and applications

    An overview of JML tools and applications von BURDY, Lilian, CHEON, Yoonsik, COK, David R, ERNST, Michael D, KINIRY, Joseph R, LEAVENS, Gary T, LEINO, K. Rustan M, POLL, Erik


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings

    Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings

    Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Boogie : A modular reusable verifier for object-oriented programs

    Boogie : A modular reusable verifier for object-oriented programs von BARNETT, Mike, CHANG, Bor-Yuh Evan, DELINE, Robert, JACOBS, Bart, LEINO, K. Rustan M


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Abstract Read Permissions: Fractional Permissions without the Fractions

    Abstract Read Permissions: Fractional Permissions without the Fractions von Heule, Stefan, Leino, K. Rustan M., Müller, Peter, Summers, Alexander J.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    The Dafny Integrated Development Environment

    The Dafny Integrated Development Environment von Leino, K. Rustan M., Wüstholz, Valentin


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Specification and verification challenges for sequential object-oriented programs

    Specification and verification challenges for sequential object-oriented programs von LEAVENS, Gary T, RUSTAN, K, LEINO, M, MÜLLER, Peter

    Veröffentlicht in Formal aspects of computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

    Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings von Jobstmann, Barbara, Leino, K. Rustan M

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

    Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

    Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

    Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Programming Language Features for Refinement

    Programming Language Features for Refinement von Koenig, Jason, Leino, K. Rustan M.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Object Invariants in Dynamic Contexts

    Object Invariants in Dynamic Contexts von Leino, K. Rustan M., Müller, Peter


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Stepwise refinement of heap-manipulating code in Chalice

    Stepwise refinement of heap-manipulating code in Chalice von Leino, K. Rustan M., Yessenov, Kuat

    Veröffentlicht in Formal aspects of computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    A programming model for concurrent object-oriented programs

    A programming model for concurrent object-oriented programs von Jacobs, Bart, Piessens, Frank, Smans, Jan, Leino, K Rustan M, Schulte, Wolfram


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: