1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LO2010★ 1 cited
GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.
Didier Bert, Marie-Laure Potet, Nicolas Stouls
In this paper, we present a method and a tool to build symbolic labelled transition systems from B specifications. The tool, called GeneSyst, can take into account refinement level…
cs.LO2005
A Fixpoint Semantics of Event Systems with and without Fairness Assumptions
Hector Ruiz Barradas, Didier Bert
We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for deriving "…
cs.LO2005★ 1 cited
Proof obligations for specification and refinement of liveness properties under weak fairness
Hector Ruiz Barradas, Didier Bert
In this report, we present a formal model of fair iteration of events for B event systems. The model is used to justify proof obligations for basic liveness properties and preserva…