Login / Signup
Scalable Verification of Strategy Logic through Three-Valued Abstraction.
Francesco Belardinelli
Angelo Ferrando
Wojciech Jamroga
Vadim Malvone
Aniello Murano
Published in:
IJCAI (2023)
Keyphrases
</>
bounded model checking
asynchronous circuits
nonmonotonic logics
epistemic logic
verification method
model checking
formal verification
logic programming
highly scalable
web scale
signature verification
deontic logic
model checker
genetic algorithm
inference rules
temporal logic
learning algorithm