Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking
['Agnieszka M. Zbrzezny', 'Andrzej Zbrzezny']
Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking