Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Rybalchenko, Andrey Programming Logics, MPI for Informatics, Max Planck Society;
2003-2-004 (Any fulltext), 10KB
Podelski, A., & Rybalchenko, A.(2003). Software model checking of liveness properties via transition invariants (MPI-I-2003-2-004). Saarbrücken: Max-Planck-Institut für Informatik.