jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines

Frédéric Dadeau,R. Tissot
DOI: https://doi.org/10.1016/j.entcs.2009.09.055
2009-10-01
Abstract:
What problem does this paper attempt to address?