Expanding the Capabilities of Automated Program Verifiers for Testing, Synthesis, and Concurrency

FEDCHIN, ALEKSANDR

2026

open in viewer
Description
  • Thesis (Ph.D.)--Tufts University, 2026.

    Submitted to the Dept. of Computer Science.

    Advisor: Jeffrey Foster.

    Committee: Jeffrey Foster, Lenore Cowen, Hari Sundar, Mark Hempstead, and Zvonimir Rakamarić.

    Keyword: Computer science
This object is in collection Creator department Subject Genre Permanent URL Contributors
ID:
3t946603b
To Cite:
TARC Citation Guide    EndNote