1. Validation of formal models by refinement animation
    Stefan Hallerstede et al. 2013. Science of Computer Programming Vol.78 n°3 p.272
    doi : 10.1016/j.scico.2011.03.005
  2. Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture
    Hayat Daoud et al. 2017. Systems Vol.5 n°1 p.17
    doi : 10.3390/systems5010017
  3. NASA Formal Methods
    Faqing Yang & Jean-Pierre Jacquot 2011. p.438
    doi : 10.1007/978-3-642-20398-5_31
  4. Stepwise Validation of Formal Specifications
    Atif Mashkoor & Jean-Pierre Jacquot 2011. 2011 18th Asia-Pacific Software Engineering Conference p.57
    doi : 10.1109/APSEC.2011.48
  5. BEval: A Plug-in to Extend Atelier B with Current Verification Technologies
    Valério Medeiros & David Déharbe 2014. Electronic Proceedings in Theoretical Computer Science Vol.139 p.53
    doi : 10.4204/EPTCS.139.5

Mise-à-jour / Updated: 2017-09-04