What is this? This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Verified Software: Theories, Tools, Experiments (VSTTE)

A conference, workshop or journal: the thing that recurs, across all its years.

A conference on verified software, founded around the grand-challenge idea of a verifying compiler: proof-carrying tools, verified components, and experiments in building software that comes with its guarantees.