SAT modulo discrete event simulation applied to railway design capacity analysis

DOI10.1007/S10703-021-00368-2OpenAlexW3147799526MaRDI QIDQ2058381

Christian Johansen, Koen Claessen, Bjørnar Luteberget, Martin Steffen

Publication date: 8 December 2021

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-021-00368-2

zbMATH Keywords

specification languageSATSMTcapacity analysisdiscrete event simulationrailway designs

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• Yices
• z3
• dReal
• RailCNL
• Unnamed Item
• Unnamed Item

This page was built for publication: SAT modulo discrete event simulation applied to railway design capacity analysis