A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT.

Michele Albano Stefano Chessa Kim Guldstrand Larsen

Published in: ISCC (2021)

Keyphrases

model checking
static analysis
dynamic analysis
abstract interpretation
temporal logic
formal specification

formal verification
temporal properties
finite state
automated verification
timed automata
computation tree logic

transition systems
symbolic model checking
concurrent systems
pspace complete
reachability analysis
epistemic logic

model checker
process algebra
asynchronous circuits
bounded model checking
reverse engineering