Sign in

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques.

Longlong LuMinxue PanTian ZhangXuandong Li
Published in: Softw. Syst. Model. (2022)
Keyphrases
  • linear programming
  • formal specification
  • specification language
  • high level
  • linear program
  • functional requirements
  • delay insensitive