( en | de | ru )

 

Disambiguation of "Oortwijn, Wytse"

Author of the publication

copydeleteadd this publication to your clipboard
Distributed binary decision diagrams for symbolic reachability.

, , and . SPIN, page 21-30. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jantje Oortwijn Botjes

 

Other publications of authors with the same name

Gobra: Modular Specification and Verification of Go Programs (extended version)., , , , , and . CoRR, (2021)Practical Abstractions for Automated Verification of Shared-Memory Concurrency., , and . VMCAI, volume 11990 of Lecture Notes in Computer Science, page 401-425. Springer, (2020)Practical Abstractions for Automated Verification of Message Passing Concurrency., and . IFM, volume 11918 of Lecture Notes in Computer Science, page 399-417. Springer, (2019)Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System., and . IFM, volume 11918 of Lecture Notes in Computer Science, page 418-436. Springer, (2019)Distributed binary decision diagrams for symbolic reachability., , and . SPIN, page 21-30. ACM, (2017)Formal Verification of Parallel Prefix Sum., , , and . NFM, volume 12229 of Lecture Notes in Computer Science, page 170-186. Springer, (2020)A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems., , and . FMICS, volume 13487 of Lecture Notes in Computer Science, page 226-243. Springer, (2022)Future-based Static Analysis of Message Passing Programs., , and . PLACES, volume 211 of EPTCS, page 65-72. (2016)The VerCors Tool Set: Verification of Parallel and Concurrent Software., , , and . IFM, volume 10510 of Lecture Notes in Computer Science, page 102-110. Springer, (2017)A Distributed Hash Table for Shared Memory., , and . PPAM (2), volume 9574 of Lecture Notes in Computer Science, page 15-24. Springer, (2015)