Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking.

Agnieszka M. Zbrzezny, Andrzej Zbrzezny

Browse the full PRIMA paper archive.