Please enable JavaScript in your browser!
Kezdőlap
Felfedezés
Súgó
Bejelentkezés
unidan
/
notes
Figyelés
1
Kedvenc
0
Másolás
0
Fájlok
Problémák
26
Beolvasztási kérések
0
Wiki
Címkék
Mérföldkövek
Új probléma
#25
concurrent checking
Nyitott
megnyitva ekkor:
5 éve
unidan
által · 0 hozzászólás
unidan
hozzászólt
5 éve
https://github.com/carllerche/loom/
http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf
https://github.com/carllerche/loom/ http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf
Jelentkezzen be
hogy csatlakozhasson a beszélgetéshez.
Címkék
Címkék kiürítése
Nincs címke
Mérföldkő
Mérföldkő kiürítése
Nincs mérföldkő
Megbízott
Megbízott kiürítése
Nincs megbízott
1 Résztvevő
Írás
Előnézet
Töltés...
Mégse
Mentés
Még nincs tartalom.
https://github.com/carllerche/loom/
http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf