ISOFT-Team at NTCIR-12 QALab-2: Using Choice Verification.

Soonchoul Kwon Seonyeong Park Daehwan Nam Kyusong Lee Hwanjo Yu Gary Geunbae Lee

Published in: NTCIR (2016)

Keyphrases

test collection
model checking
asynchronous circuits
cooperating agents
information retrieval
web retrieval
functional verification