Abdelfettah Hasbani

  • Citations Per Year
Learn More
Design of reactive systems requires formal approaches in order to jacilitate verification and validation at each step. Methods based on formal logic (automata, formal method, ...) have been previously suggested brit they often work only in a specific domain and are genera@ only possible with specialized users. In an attempt to overcome these restrictions,(More)
  • 1