SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic.

Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny

Browse the full PRIMA paper archive.