Documents Invariant Inference for Many-Object Systems

Invited Talk at IWIGP Invariant Inference for Many-Object Systems Viktor Kuncak Swiss Federal Institute of Technology, Lausanne http://lara.epfl.ch/~kuncak joint work with:…

Documents Invariant Inference for Many-Object Systems Viktor Kuncak Swiss Federal Institute of Technology,...

Invited Talk at IWIGP Invariant Inference for Many-Object Systems Viktor Kuncak Swiss Federal Institute of Technology, Lausanne http://lara.epfl.ch/~kuncak joint work with:…