GenMC: Model checking for concurrent C programs
L: https://plv.mpi-sws.org/genmc/
C: https://news.ycombinator.com/item?id=42098466
posted on 2024.11.09 at 22:45:52 (c=0, p=3)
Hacker News /
npub1w9…kd84x
2024-11-10 06:37:28
Author Public Key
npub1w9fvpp0gsqjegag8arp2wz6hz8zqj9mvn52ltg553vfwcreqf74sgkd84xPublished at
2024-11-10 06:37:28Event JSON
{
"id": "5f7157c8db0cffed4161af619b7febb62c0abc6b64426cfaf674b850e6283819",
"pubkey": "7152c085e88025947507e8c2a70b5711c409176c9d15f5a2948b12ec0f204fab",
"created_at": 1731220648,
"kind": 1,
"tags": [
[
"proxy",
"https://mstdn.social/@hkrn/113457276446054251",
"web"
],
[
"proxy",
"https://mstdn.social/users/hkrn/statuses/113457276446054251",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mstdn.social/users/hkrn/statuses/113457276446054251",
"pink.momostr"
],
[
"-"
]
],
"content": "GenMC: Model checking for concurrent C programs\nL: https://plv.mpi-sws.org/genmc/\nC: https://news.ycombinator.com/item?id=42098466\nposted on 2024.11.09 at 22:45:52 (c=0, p=3)",
"sig": "3d1f8c50519e6d002763d967e43d716747dc830120931f2d84690d5732fc818064c1345d6ae11ed1a3d737a6052af8f686c8a4f0fa5cd8a816b2e098832acdc3"
}