1. Saswat Anand Corina Pasareanu and Willem Visser. 2007. JPF-SE: A symbolic execution extension to Java pathfinder Vol. 4424. 134–138. Saswat Anand Corina Pasareanu and Willem Visser. 2007. JPF-SE: A symbolic execution extension to Java pathfinder Vol. 4424. 134–138.
2. Sequential verification of serializability
3. A. Baltag , L.S. Moss , and S. Solecki . 1998 . The Logic of Public Announcements and Common Knowledge and Private Suspicions. In 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98) . Morgan Kaufmann, 43–56. A. Baltag, L.S. Moss, and S. Solecki. 1998. The Logic of Public Announcements and Common Knowledge and Private Suspicions. In 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98). Morgan Kaufmann, 43–56.
4. G. Belardinelli and R.K. Rendsvig . 2020 . Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model. In Dynamic Logic. New Trends and Applications - Third International Workshop, (DaLí 2020) (LNCS, Vol. 12569). Springer, 33–50. G. Belardinelli and R.K. Rendsvig. 2020. Awareness Logic: A Kripke-Based Rendition of the Heifetz-Meier-Schipper Model. In Dynamic Logic. New Trends and Applications - Third International Workshop, (DaLí 2020)(LNCS, Vol. 12569). Springer, 33–50.
5. Guillaume Bonfante Jose Fernandez Jean-Yves Marion Benjamin Rouxel Fabrice Sabatier and Aurélien Thierry. 2015. CoDisasm. 745–756. Guillaume Bonfante Jose Fernandez Jean-Yves Marion Benjamin Rouxel Fabrice Sabatier and Aurélien Thierry. 2015. CoDisasm. 745–756.