GenMC: Model checking for concurrent C programs
https://plv.mpi-sws.org/genmc/
#ycombinator
:rss: Hacker News /
npub1lg…jpcu0
2024-11-10 06:46:40
Author Public Key
npub1lga9sp29dcu47gp86ggmay7q2la0y7z9nlsy608jfndfyrarwpxq6jpcu0Published at
2024-11-10 06:46:40Event JSON
{
"id": "190392f38a267d03240c76d22895d760b46b56f82bd0b63142faf0d6b7066fd3",
"pubkey": "fa3a5805456e395f2027d211be93c057faf278459fe04d3cf24cda920fa3704c",
"created_at": 1731221200,
"kind": 1,
"tags": [
[
"proxy",
"https://rss-mstdn.studiofreesia.com/@ycombinator/113457312629043547",
"web"
],
[
"t",
"ycombinator"
],
[
"proxy",
"https://rss-mstdn.studiofreesia.com/users/ycombinator/statuses/113457312629043547",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://rss-mstdn.studiofreesia.com/users/ycombinator/statuses/113457312629043547",
"pink.momostr"
],
[
"-"
]
],
"content": "GenMC: Model checking for concurrent C programs\nhttps://plv.mpi-sws.org/genmc/\n#ycombinator",
"sig": "176f9e85326d600481d763faa4fa663c13549b515f54e4839bd4d5223758e90a4b7bc450fa8466bd8ed6e346e520955f98e81afc73caadfac917cc55d64ec455"
}