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.

Part of Lecture Notes in Computer Science.

0 references

Nothing published under this yet.