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.
toiselle kielelle
lähdeaineistosta
arxiv.org
Tärkeimmät oivallukset
by Shuo Li,Liao... klo arxiv.org 03-12-2024
https://arxiv.org/pdf/2306.10707.pdfSyvällisempiä Kysymyksiä