Cassius automatically reasoning about web pages. It
formalizes a substantial fragment of CSS in an SMT-friendly way.
Cassius can automatically verify, synthesize, and debug web pages.
Cassius supports the block, inline, floating, and positioned
layout modes in CSS. It matches the behavior of existing web
browsers and passes
Cassius can reason about all of these features quickly,
frequently completing within minutes on small web pages.
The techniques that make Cassius possible are described in
our OOPSLA'16 paper.
Cassius Project News
- Cassius has been accepted to OOPSLA'16. Read our paper to find out how Cassius works.
- Pavel Panchekha, the main author of Cassius, won the Adobe Research Fellowship for his work on Cassius.
The Cassius Developers
Cassius is developed by
the University of
Washington Programming Languages and Software Engineering
group, by Pavel Panchekha