Topics:
- Specification Challenge (4 messages, latest: Jul 15 2021 at 17:51)
- [ANN] wg-formal-methods meetings (10 messages, latest: Jul 15 2021 at 17:48)
- formal verification interest group (14 messages, latest: Jul 09 2021 at 10:38)
- Specification language for Rust (20 messages, latest: Jun 21 2021 at 13:16)
- Coq to rust extraction (1 message, latest: Jun 21 2021 at 12:27)
- Patching the compiler for a verification tool (1 message, latest: Jun 02 2021 at 09:13)
- Access to MIR from third-party tools (60 messages, latest: Jun 02 2021 at 08:30)
- Research topic (84 messages, latest: Apr 25 2021 at 17:07)
- RustVerify Workshop (7 messages, latest: Apr 07 2021 at 20:39)
- RustVerify Workshop Zulip (1 message, latest: Apr 07 2021 at 20:38)
- Comparing Rust and Ada (40 messages, latest: Mar 25 2021 at 14:17)
- Branding ("generative types") in Rust (19 messages, latest: Mar 16 2021 at 17:53)
- Semantics of functional rust (12 messages, latest: Mar 16 2021 at 17:31)
- Featherweight Rust (28 messages, latest: Jan 21 2021 at 09:32)
- Vellvm (1 message, latest: Jan 20 2021 at 13:49)
- Rust Verification Workshop CFP (5 messages, latest: Dec 07 2020 at 14:38)
- Inconsistency in MIR for branches (3 messages, latest: Oct 28 2020 at 10:31)
- MIR vs HAIR (10 messages, latest: Oct 21 2020 at 15:39)
- Crux-verifier from Galois (2 messages, latest: Oct 10 2020 at 20:04)
- Master's Work (19 messages, latest: Sep 12 2020 at 08:22)
- Interesting Thesis (4 messages, latest: Sep 04 2020 at 11:20)
- Rust verification tools (4 messages, latest: Sep 04 2020 at 09:22)
- Rusty PhD thesis (1 message, latest: Sep 03 2020 at 17:47)
- Undecidable type checking in Swift (4 messages, latest: Aug 04 2020 at 17:25)
- Standards for verification tools (30 messages, latest: Jul 13 2020 at 16:33)
- Reading suggestions (9 messages, latest: Jul 13 2020 at 11:15)
- "lowering" specification language to MIR (34 messages, latest: Jul 06 2020 at 11:20)
- Proofs of MIR-opt soundness (2 messages, latest: Jun 26 2020 at 17:17)
- RustHorn (19 messages, latest: Jun 23 2020 at 13:59)
- hello (27 messages, latest: Jun 20 2020 at 20:56)
- Verification case studies (8 messages, latest: Apr 23 2019 at 13:39)
Last update: Jul 29 2021 at 21:30UTC