Leaking Gaz Burner

Goal: a gaz burner can leak from time to time. Make sure that the leak stays reasonnable under the assumption that its leaks no longer than a given constant and that it does not leak for a least a certain amount of time. This behavior is described by a simple automaton (PDF).

  • Fortran Encoding, with resulting transformers and preconditions

  • Fast Encoding, with ASPIC log and result