From Event-B Models to Dafny Code Contracts.

Mohammadsadegh Dalvandi Michael J. Butler Abdolbaghi Rezazadeh

Published in: FSEN (2015)

Keyphrases

probabilistic model
complex systems
accurate models
real world
database systems
social media
experimental data
computational models