Publisher
Springer Nature Switzerland
Reference30 articles.
1. Alberto Bombardelli, S.T., Cimatti, A., Zamboni, M.: Symbolic model checking of relative safety LTL properties - extended with proofs. https://es-static.fbk.eu/people/bombardelli/papers/ifm23/ifm23_ext.pdf
2. Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21(4), 181–185 (1985)
3. Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Distrib. Comput. 2(3), 117–126 (1987)
4. Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, vol. 336, pp. 1267–1329. IOS Press (2021)
5. Biere, A., Artho, C., Schuppan, V.: Liveness checking as safety checking. Electron. Notes Theor. Comput. Sci. 66(2), 160–177 (2002)