Aaron Tomb

Background

WORK AREAS

No areas found

Stay Connected

PROJECTS

No items found.

Articles

Conjuring Correct-by-Construction Code That is Safely Composable System-Wide

View ARTICLE

Demo: Symbolic Testing of Rust using Crux

View ARTICLE

Crux: Introducing Our New Open-Source Tool for Software Verification

View ARTICLE

Publications

No items found.

‍T 503.626.6616
E contact@galois.com

Portland, OR
421 SW 6th Avenue, Suite 300
Portland, Oregon 97204

‍Arlington, VA
901 N Stuart Street, Suite 501
Arlington, Virginia 22203

‍Minneapolis, MN
111 Third Avenue South, Suite 350
Minneapolis, MN 55401

‍Dayton, OH
444 E 2nd Street
Dayton, Ohio 45402

© Copyright Galois, Inc. 2024. All Rights Reserved | Terms of Use | Privacy Policy