Natalia
Ioustinova, Dr. Ir.
Centrum voor Wiskunde en InformaticaDepartament of Software Engineering
Specification and Analysis of Embedded Systems
Kruislaan 413
1098 SJ Amsterdam
Contact:
E-mail: ustin@cwi.nl
Phone: +31-20-5924247
Publications
Projects
Events
Selected Topics:
Verifying open Discrete-Time Promela models
Using Fairness to Make Abstractions Work
Timed Verification with mCRL
Testing
with TTCN-3 in simulated time