GenMC: Model checking for concurrent C programs

Article URL: https://plv.mpi-sws.org/genmc/

Comments URL: https://news.ycombinator.com/item?id=42098466

Points: 6

# Comments: 0

https://plv.mpi-sws.org/genmc/

Vytvorené 3d | 10. 11. 2024, 7:40:03

Ak chcete pridať komentár, prihláste sa

Ostatné príspevky v tejto skupine

Five Unusual Raku Features

Article URL: https://buttondown.com/hillelwayne/archive/five-unusual-raku-features/

Comments URL:

13. 11. 2024, 0:30:14 | Hacker news

M4 Mac mini's efficiency

Article URL: https://www.jeffgeerling.com/blog/2024/m4-mac-minis-efficiency-incredible

Comments URL:

13. 11. 2024, 0:30:13 | Hacker news

Carving your space

Article URL: https://heather-buchel.com/blog/2024/11/carving-space/

Comments URL:

13. 11. 2024, 0:30:12 | Hacker news

3600 MHz Raspberry Pi 5 with Liquid Nitrogen

Article URL: https://skatterbencher.com/2024/11/11/3600-mhz-raspberry-pi-5-with-liquid-nitrogen/

13. 11. 2024, 0:30:09 | Hacker news

Two upstart search engines are teaming up to take on Google

Article URL: https://www.wired.com/story/ecosia-qwant-eusp-take-on-google-search-index/

Comments URL

12. 11. 2024, 22:10:23 | Hacker news

Show HN: Open-source Kibana alternative for logs and traces in ClickHouse

Hi HN, Mike and Warren here! We're excited to share some (early) work towards our next major version of HyperDX. HyperDX makes it easy to visualize/search logs & traces on top of Clickhouse (so in

12. 11. 2024, 22:10:22 | Hacker news

Show HN: Stretch My Time Off – An Algorithm to Optimize Your Vacation Days

Hey HN! I built StretchMyTimeOff as a quick experiment using Cursor (Anysphere's AI code editor) and GPT-4o to see how far AI could go in building a simple, functional site.

What it does: The si

12. 11. 2024, 22:10:21 | Hacker news

Techie