210 followers
RT @read_rust: RustHorn: CHC-Based Verification for Rust Programs by Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi: https://t.co/Hg5M…
RT @read_rust: RustHorn: CHC-Based Verification for Rust Programs by Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi: https://t.co/Hg5M…
RT @read_rust: RustHorn: CHC-Based Verification for Rust Programs by Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi: https://t.co/Hg5M…
This could be interesting...
RustHorn: CHC-Based Verification for Rust Programs by Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi: https://t.co/Hg5MFI0svJ #compsci