Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Univ. Grenoble Alpes , INRIA , CNRS , Grenoble INP , LIG , 38000 Grenoble , France
1
0
3
32
Shrinking your formal models by 3x isn't just about fewer lines of code; it's about making them understandable and verifiable.