A Sublinear Sudoku Solution in cP Systems and its Formal Verification.

Yezhou Liu Radu Nicolescu Jing Sun Alec Henderson

Published in: Comput. Sci. J. Moldova (2021)

Keyphrases

formal verification
automated verification
model checking
artificial intelligence
distributed systems
computer systems
retrieval systems
model checker
symbolic model checking
bounded model checking