Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking.

Abdoulaye Gamatié Gilles Sassatelli Marius Mikucionis

Published in: DATE (2021)

Keyphrases

model checking
temporal logic
finite state
formal verification
verification method
model checker
computation tree logic
abstract interpretation
symbolic model checking
temporal properties
reactive systems
dynamic analysis
finite state machines
epistemic logic
formal methods
formal specification
multi agent