Quasi-optimal partial order reduction.

Camille Coti Laure Petrucci César Rodríguez Marcelo Sousa

Published in: Formal Methods Syst. Des. (2021)

Keyphrases

optimal solution
dynamic programming
asymptotically optimal
real time
databases
database systems
model checking
globally optimal
partial order reduction