Resources

Laboratory Resources

• Guidelines for working in the Laboratory for Temporal Logic
• LaTeX, Git, and other Formal Tools Resources
• Applied Formal Methods Course

Formal Methods in the Field

• Qualification of Formal Methods Tools under DO-333
• rise4fun: Formal Methods Tools for Software Engineering
• loonwerks: Formal Methods at Rockwell Collins

Research Papers and Peer Review

• How to Read a Paper
• How to Give a Good Research Presentation
• Springer: How to Peer Review
• Springer’s “How to Peer Review” Online Tutorial

The Basics

• How to Email a Professor
• Addressing Subtle Acts of Exclusion because “Inclusion is not a spectator sport”