Wytse Oortwijn

From MaRDI portal
Person:784155

Available identifiers

zbMath Open oortwijn.wytseMaRDI QIDQ784155

List of research outcomes





PublicationDate of PublicationType
Practical abstractions for automated verification of message passing concurrency2024-04-19Paper
Automated Verification of Parallel Nested DFS2022-10-13Paper
Automated verification of the parallel Bellman-Ford algorithm2022-06-17Paper
Practical abstractions for automated verification of shared-memory concurrency2020-08-05Paper
An abstraction technique for describing concurrent program behaviour2018-12-07Paper

Research outcomes over time

This page was built for person: Wytse Oortwijn

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:784155&oldid=7682419"
Powered by MediaWiki