Discussions

• 1 You must be logged in to vote

  💡

  Formal verification of specifications by model checking

  mtefagh started Oct 13, 2020 in Ideas

  

  

  0