From non-zenoness verification to termination

2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) ◽

10.1109/memcod.2015.7340490 ◽

2015 ◽

Author(s):

Pierre Ganty ◽

Samir Genaim ◽

Ratan Lal ◽

Pavithra Prabhakar

Download Full-text