इसका टेक्स्ट मैसेज भेजे: SMT-based model checking of max-plus linear systems