This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in BesanAson, France, January 2007. Coverage in this volume includes industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, and validating requirements through formal models.A big part of other work uses timed automata  with model checkers such as Uppaal  or Kronos . These automata allows one to write ... One can reset clock to zero on transition, so the time may be cyclic. We can point out fundamentalanbsp;...
|Title||:||B 2007: Formal Specification and Development in B|
|Author||:||Jacques Julliand, Olga Kouchnarenko|
|Publisher||:||Springer - 2006-12-12|