Omslagsbillede

Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)

Guardado en:
Udgivet i:arXiv.org (Jun 29, 2024), p. n/a
Hovedforfatter: Sung-Shik Jongmans
Udgivet:
Cornell University Library, arXiv.org
Fag:
Concurrent processing
Program verification (computers)
Formal method
Run time (computers)
Online adgang:Citation/Abstract
Full text outside of ProQuest
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!