Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking.

Bozena Wozna-Szczesniak Andrzej Zbrzezny

Published in: Stud Logica (2016)

Keyphrases

bounded model checking
intelligent systems
desirable characteristics
general purpose
building blocks
complex systems
search engine
management system
learning systems
model checking
software components
formal methods