T
Thai Son Hoang
Researcher at University of Southampton
Publications - 87
Citations - 1486
Thai Son Hoang is an academic researcher from University of Southampton. The author has contributed to research in topics: Formal methods & Liveness. The author has an hindex of 16, co-authored 79 publications receiving 1308 citations. Previous affiliations of Thai Son Hoang include Hitachi & University of New South Wales.
Papers
More filters
Journal ArticleDOI
Rodin: an open toolset for modelling and reasoning in Event-B
Jean-Raymond Abrial,Michael Butler,Stefan Hallerstede,Thai Son Hoang,Farhad Mehta,Laurent Voisin +5 more
TL;DR: This article presents the Rodin modelling tool that seamlessly integrates modelling and proving, and outlines how the Event-B language was designed to facilitate proof and how the tool has been designed to support changes to models while minimising the impact of changes on existing proofs.
Journal ArticleDOI
Decomposition tool for event-B
TL;DR: Two methods have been identified for Event‐B model decomposition: shared variable and shared event and the respective tool support in the Rodin platform is introduced.
Journal ArticleDOI
Event-B patterns and their tool support
TL;DR: The notion of design patterns within the framework of Event-B is introduced to preserve the correctness of the models, which is critical in formal methods and also reduces the proving effort.
Book ChapterDOI
Reasoning about liveness properties in event-B
TL;DR: The proof rules are based on several proof obligations that can be implemented in a tool support such as the Rodin platform and are illustrated by applying them to prove liveness properties of realistic examples.
Book ChapterDOI
Qualitative probabilistic modelling in event-B
TL;DR: This article introduces a small but very useful construction: qualitative probabilistic choice, which extends the expressiveness of Event-B allowing us to prove properties of systems that could not be formalised in event-B before.