41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a087c2-0ac1-71a5-ba67-2e14fcab084d

Validating GDB Interrupt Traces Against a TLA+ Spec

Hey There Buddo! | Hot Leaves in a Cold Worlds. · published 4 September 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at philipzucker.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 18
Words captured: 25,086

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

Making TLA+ and x86 Kiss Via Z3Py Read at the source ↗

philipzucker.com

https://www.amazon.com/dp/0596009836?lv=shuf&channelId=500&plpRedirect=mhFallback

amazon.com

https://docs.tlapl.us/using:tlc:trace_validation

docs.tlapl.us

https://sourceware.org/gdb/current/onlinedocs/gdb.html/GDB_002fMI.html

sourceware.org

https://www.youtube.com/watch?v=xt9v5t4_zvE

youtube.com

https://github.com/matgla/Renode_RP2040

github.com

https://arxiv.org/abs/2404.16075

arxiv.org

https://www.sciencedirect.com/science/article/pii/S1571066107003623

sciencedirect.com

https://hypothesis.readthedocs.io/en/latest/

hypothesis.readthedocs.io

https://www.youtube.com/watch?v=NZmON-XmrkI

youtube.com

https://www.youtube.com/watch?v=W6DrQk8o5tk

youtube.com

https://pron.github.io/files/Trace.pdf

pron.github.io

https://renode.readthedocs.io/en/latest/debugging/gdb.html

renode.readthedocs.io

https://github.com/wokwi/rp2040js

github.com

https://www.gnu.org/software/gdb/bugs/

gnu.org

https://www.sourceware.org/gdb/current/onlinedocs/gdb.html/Tracepoints.html

sourceware.org

https://qemu-project.gitlab.io/qemu/system/gdb.html

qemu-project.gitlab.io

https://www.qemu.org/docs/master/devel/testing/qtest.html

qemu.org