7 citations · 19 across the 8 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
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…