|
|
|
|
|
|
by throw-qqqqq
164 days ago
|
|
|
There are methods of determining Worst Case Execution Time/WCET. I’ve been involved in real time embedded systems development, where that was a thing. But one tool (like TLA+) can’t realistically support all formalisms for all types of analyses ¯\_(ツ)_/¯ |
|
|