Author:
Drechsler Rolf,Autexier Serge,Lüth Christoph
Publisher
Springer International Publishing
Reference14 articles.
1. Abrial JR (1999) System study: method and example.
http://atelierb.eu/ressources/PORTES/Texte/porte.anglais.ps.gz
2. Abrial JR, Hoare A (2005) The B-book: assigning programs to meanings. Cambridge University Press
3. Abrial JR, Butler M, Hallerstede S, Hoang TS, Mehta F, Voisin L (2010) Rodin: an open toolset for modelling and reasoning in event-B. International J Soft Tools Technol Transf 12(6):447–466
4. Drechsler R, Soeken M, Wille R (2012) Formal specification level: towards verification-driven design based on natural language processing. In: Forum on specification and design languages (FDL) 2012, IEEE, pp 53–58
5. Przigoda N, Stoppe J, Seiter J, Wille R, Drechsler R (2015) Verification-driven design across abstraction levels—a case study. In: Euromicro conference on digital system design (DSD)