Scaling up with Event-B: A case study
F Yang, JP Jacquot - NASA Formal Methods Symposium, 2011 - Springer
Ability to scale up from toy examples to real life problems is a crucial issue for formal
methods. Formalizing a algorithm used in vehicle automation (platooning control) in a …
methods. Formalizing a algorithm used in vehicle automation (platooning control) in a …
Prouvé? Et après?
F Yang, JP Jacquot - … sur les Approches Formelles dans l' …, 2010 - inria.hal.science
Dans un contexte de certification, la relation entre méthodes formelles et logiciel «correct»
n'est pas claire. Pour le formaliste, c'est la cohérence logique (preuve), pour le certificateur …
n'est pas claire. Pour le formaliste, c'est la cohérence logique (preuve), pour le certificateur …
BRILLANT/BCaml—A Free Tools Platform for the B Method
S Colin, D Petit - Formal Methods Applied to Complex Systems …, 2014 - Wiley Online Library
BRILLANT is a collaborative tool collection associated with the B formal language. The
collection is centered around one particular tool known as BCaml. The initial and main …
collection is centered around one particular tool known as BCaml. The initial and main …