Stream: wg-formal-methods

Topics:

• Undecidable type checking in Swift (4 messages, latest: Aug 04 2020 at 17:25)
• Featherweight Rust (22 messages, latest: Aug 03 2020 at 20:13)
• 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: Aug 13 2020 at 08:15UTC