SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties.

Agnieszka M. Zbrzezny Andrzej Zbrzezny Bozena Wozna-Szczesniak

Published in: ICAART (1) (2022)

Keyphrases

management system
computer systems
artificial intelligence
genetic algorithm
case study
expert systems
knowledge based systems
learning systems