Marieke Huisman
13 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Marieke Huisman
Marieke Huisman: verifying concurrent and parallel programs with VerCors (permission-based separation logic, magic wands, JML), and reports on taking such methods into industry.
On Deductive Verification of an Industrial Concurrent Software Component with VerCors
Raúl E. Monti and others (2022) · Leveraging Applications of Formal Methods, Verification and Validation · Springer
Permission-based verification of red-black trees and their merging
Lukas Armborst and others (2021) · 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) · IEEE
Formal Methods: From Academia to Industrial Practice. A Travel Guide
Marieke Huisman and others (2020) · arXiv
On the Industrial Application of Critical Software Verification with VerCors
Marieke Huisman and others (2020) · Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020) · Springer International Publishing
TOOLympics 2019: An Overview of Competitions in Formal Methods
Ezio Bartocci and others (2019) · Tools and Algorithms for the Construction and Analysis of Systems · Springer International Publishing
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools
Reiner Hähnle and others (2019) · Lecture notes in computer science · Springer Science+Business Media
The VerCors Tool Set: Verification of Parallel and Concurrent Software
Stefan Blom and others (2017) · Integrated Formal Methods · Springer
Formal Specification with the Java Modeling Language
Marieke Huisman and others (2016) · Deductive Software Verification – The KeY Book · Springer International Publishing
Permission-based separation logic for multithreaded Java programs
Afshin Amighi and others (2015) · Logical Methods in Computer Science
Witnessing the elimination of magic wands
Stefan Blom and others (2015) · International Journal on Software Tools for Technology Transfer · Springer
The VerCors tool for verification of concurrent programs
Stefan Blom and others (2014) · International Symposium on Formal Methods · Springer
Formal Specification with JML
Marieke Huisman and others (2014) · Karlsruhe Institute of Technology
A case study in class library verification: Java’s vector class
Marieke Huisman and others (2001) · International Journal on Software Tools for Technology Transfer · Springer Science+Business Media