7 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.SE2012★ 2 cited
Proof Hints for Event-B
Thai Son Hoang
Interactive proofs are often considered as costs of formal modelling activity. In an incremental development environment such as the Rodin platform for Event-B, information from pr…
cs.SE2012★ 7 cited
Abstract Data Types in Event-B - An Application of Generic Instantiation
David Basin, Andreas Fürst, Thai Son Hoang +2
Integrating formal methods into industrial practice is a challenging task. Often, different kinds of expertise are required within the same development. On the one hand, there are…