Case Driven TLC Model Checker Analysis in Energy Scenario.

Vadym Shkarupylo Ihor Blinov Valentyna Dusheba Jamil Abedalrahim Jamil Alsayaydeh

Published in: CMIS (2023)

Keyphrases

model checking
model checker
artificial intelligence
data analysis
building blocks
orders of magnitude
temporal logic
formal methods