research
∙
05/17/2023
Games on Graphs
The objective of this collaborative textbook is to present the state of ...
share
research
∙
02/05/2023
JBMC: A Bounded Model Checking Tool for Java Bytecode
JBMC is an open-source SAT- and SMT-based bounded model checking tool fo...
research
∙
11/29/2017
