21 results on '"Huisman, Marieke"'
Search Results
2. IntelliJML: a JML plugin for IntelliJ IDEA
3. Permission-Based Verification of Red-Black Trees and Their Merging
4. Teaching Design by Contract using Snap!
5. Towards verified construction of correct and optimised GPU software
6. Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach
7. An exercise in verifying sequential programs with VerCors
8. A verification technique for deterministic parallel programs
9. VerCors: A Layered Approach to Practical Verification of Concurrent Software
10. Lazy Evaluation for Concurrent OLTP and Bulk Transactions
11. Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML
12. A Symbolic Approach to Permission Accounting for Concurrent Reasoning
13. A Benchmark for Online Non-blocking Schema Transformations
14. Verifying Functional Behaviour of Concurrent Programs
15. Formal Specifications for Java's Synchronisation Classes
16. How Do Developers Use APIs? A Case Study in Concurrency
17. The VerCors project
18. On the interplay of exception handling and design by contract
19. Procedure-modular verification of control flow safety properties
20. Reasoning about Java classes
21. 24 Challenges in Deductive Software Verification
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.