vca-epfl.github.io

vca-epfl.github.io is a live website hosted on Fastly, Inc. (AS54113) in the United States, served by Github.com. cl0q first saw it on 2026-06-22 and last crawled it on 2026-06-28. It resolves to 185.199.108.153. Its favicon is fingerprinted by SHA-256, so you can find every other site that serves the same icon.

How the site describes itself:

VCA: Verification and Computer Architecture | Home

VCA is a lab at EPFL in the School of Computer and Communication Sciences. Our research lies at the intersection of programming languages, formal methods, and computer architecture. Our primary focus is hardware semantics and formal verification. We develop precise mathematical models of hardware designs—from processors and dataflow circuits to cache coherence protocols—and use interactive theorem provers to prove their correctness. This includes compositional proof techniques for concurrent hardware modules and methods that make hardware verification more scalable and trustworthy.