Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
2
19
Bounded model checking, previously impractical for verifying model transformations, can now be made tractable and complete for a useful fragment of DSLTrans via a novel Cutoff Theorem.