All Stories

  1. The formal rules, the algorithm and the program for functional models verification