Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems.

Wojciech Penczek Bozena Wozna-Szczesniak Andrzej Zbrzezny

Published in: Fundam. Informaticae (2012)

Keyphrases

information systems
expert systems
databases
artificial intelligence
np hard
management system
intelligent systems
learning systems
retrieval systems
bounded model checking