Sistem Verifikasi Program Konkuren: Boyer | kau86

Jadi, paper ini ngasih gambaran sistem buat verifikasi program konkuren. Konsep utamanya pake logika temporal buat spesifikasi, yang terus diterjemahin otomatis ke bentuk terms. Kerennya, ini udah ada dari 1992 dan masih relevan banget buat...