References in zbMATH (referenced in 31 articles )

Showing results 1 to 20 of 31.
Sorted by year (citations)

1 2 next

  1. Dobrikov, Ivaylo; Leuschel, Michael: Optimising the ProB model checker for B using partial order reduction (2016)
  2. Hoang, Thai Son; Schneider, Steve; Treharne, Helen; Williams, David M.: Foundations for using linear temporal logic in Event-B refinement (2016)
  3. Dalvandi, Mohammadsadegh; Butler, Michael; Rezazadeh, Abdolbaghi: From Event-B models to Dafny code contracts (2015)
  4. Machado, Rodrigo; Ribeiro, Leila; Heckel, Reiko: Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (2015)
  5. Mohand-Oussaid, Linda; Ait-Sadoune, Idir; Ait-Ameur, Yamine; Ahmed-Nacer, Mohamed: A formal model for output multimodal HCI (2015)
  6. Salehi Fathabadi, Asieh; Butler, Michael; Rezazadeh, Abdolbaghi: Language and tool support for event refinement structures in event-B (2015)
  7. Vu, Dieu-Huong; Chiba, Yuki; Yatake, Kenro; Aoki, Toshiaki: Checking the conformance of a Promela design to its formal specification in Event-B (2015)
  8. Hoang, T.S.; McIver, A.K.; Meinicke, L.; Morgan, C.C.; Sloane, A.; Susatyo, E.: Abstractions of non-interference security: probabilistic versus possibilistic (2014)
  9. Liu, Jie; Liu, Jing: A formal framework for Hybrid Event B (2014)
  10. Llano, Maria Teresa; Ireland, Andrew; Pease, Alison: Discovery of invariants through automated theory formation (2014)
  11. Petre, Luigia; Troubitsyna, Elena; Waldén, Marina: Kaisa Sere: in memoriam (2014)
  12. Schneider, Steve; Treharne, Helen; Wehrheim, Heike: The behavioural semantics of Event-B refinement (2014)
  13. Ward, Martin; Zedan, Hussein: Provably correct derivation of algorithms using FermaT (2014)
  14. Déharbe, David: Integration of SMT-solvers in B and Event-B development environments (2013)
  15. Hoang, Thai Son: Security invariants in discrete transition systems (2013)
  16. Butler, Michael: External and internal choice with event groups in Event-B (2012)
  17. Hallerstede, Stefan; Leuschel, Michael: Experiments in program verification using Event-B (2012)
  18. Leino, K.Rustan M.; Yessenov, Kuat: Stepwise refinement of heap-manipulating code in Chalice (2012)
  19. Ndukwu, Ukachukwu: Generating counterexamples for quantitative safety specifications in probabilistic B (2012)
  20. Hallerstede, Stefan: On the purpose of Event-B proof obligations (2011)

1 2 next