DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets.

Sun, 01 Feb 2026 00:00:00 +0100

Derek Christ, Thomas Zimmermann, Philippe Barbie, Dmitri Saberi, Yao Yin, Matthias Jung:
DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets. CoRR abs/2602.10654 (2026)