Login / Signup

A quantitative comparison of the effects of modeling approaches on system verification using a controlled challenge problem.

Don BarrettThomas A. MazzuchiShahram Sarkani
Published in: Requir. Eng. (2021)
Keyphrases
  • statistical analysis
  • formal verification
  • real time
  • decision making
  • wide range
  • genetic algorithm
  • clustering algorithm
  • optimal solution
  • data structure
  • search algorithm
  • formal methods
  • verification method