FAUST: Formal Analysis Using Specification Tools.

Andr Rifaut, Philippe Massonet, Jean-Franois Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van

Browse the full RE paper archive.