Die Analyse konzentriert sich auf die Verifikation von linearen zeitlichen Eigenschaften (LTL) in Concurrent-Programmen. Es wird eine Methode vorgeschlagen, die auf Partial-Order-Prüfung mit Entfaltung basiert. Die Untersuchung befasst sich mit der Schwierigkeit, optimale Erkundungsstrukturen auf gefalteten Netzen in Bezug auf LTL anzuwenden. Es wird ein neuer Ansatz mit einem Erkundungsbaum vorgeschlagen, um die Entfaltung zu verbessern und die Leistung zu steigern.
To Another Language
from source content
arxiv.org
Önemli Bilgiler Şuradan Elde Edildi
by Shuo Li,Liao... : arxiv.org 03-12-2024
https://arxiv.org/pdf/2306.10707.pdfDaha Derin Sorular