Publication:5111621

DOI10.4230/LIPIcs.CONCUR.2017.9zbMath1442.03015MaRDI QIDQ5111621

Orna Kupferman, Gal Vardi

Publication date: 27 May 2020

zbMATH Keywords

temporal logic; flow network

Mathematics Subject Classification ID

68R10: Graph theory (including graph drawing) in computer science

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

03B44: Temporal logic

05C21: Flows in graphs

Uses Software

• CESAR
• VeriFlow