WAVE
All Editions
Sun 10 - Sat 16 January 2027 Mexico City, MexicoWAVE 2027 with POPL 2027There is an established group of verification-aware programming languages that have native support for specifications and proofs, and are equipped with an auto-active static program verifier. Examples of such languages are Dafny, SPARK, F*, Why3, Viper, Whiley. Auto-active tools also exist for other languages like C, Java or Rust. The workshop aims to be a forum for all auto-active program verifiers and their rel ... |
Steering Committee (WAVE 2027 Workshop on Auto-active VErification)