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
Principais Insights Extraídos De
by Shuo Li,Liao... às arxiv.org 03-12-2024
https://arxiv.org/pdf/2306.10707.pdfPerguntas Mais Profundas