Function Argument Nullability Using an LLM (Galois blog)
Published:
Galois blog post: Link
Posts by Tags
galois
Generative AI for Specifications (Galois blog)
Published:
Galois blog post: Link
Galois / Twisp: Avoiding Foolishness in Distributed Systems (Galois blog)
Published:
Galois blog post: Link
The Impact of Provable Security: AWS and Supranational (Galois blog)
Published:
Galois blog post: Link
Building a Concurrency Verifier Using Crucible (Galois blog)
Published:
Galois blog post: Link
Who is verifying their cryptographic protocols? (Galois blog)
Published:
Galois blog post: Link
QUIC Testing, a Quick Replication (Galois blog)
Published:
Galois blog post: Link
Proofs Should Repair Themselves (Galois blog)
Published:
Galois blog post: Link