Expertise
Engineering & Materials Science
# Biomedical Equipment
# Fault Tree Analysis
# Model Checking
# Nuclear Power Plants
# Risk Management
# Stochastic Models
Mathematics
# Concurrent
# Model Checking
Publications
Recent
van der Berg, F. I.
, & van de Pol, J. (2019).
Concurrent chaining hash maps for software model checking. In C. Barrett, & J. Yang (Eds.),
2019 Formal Methods in Computer Aided Design (FMCAD) (pp. 46-54). [8894279] (Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD); Vol. 2019). IEEE.
https://doi.org/10.23919/FMCAD.2019.8894279
Contact Details
Visiting Address
University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands
Mailing Address
University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands