Michael Rawson
Projektass. / PhD
Role
-
PostDoc Researcher
Formal Methods in Systems Engineering, E192-04
Publications
- Linear Refutation and Clause Splitting / Rawson, M. (2022). Linear Refutation and Clause Splitting. EasyChair Preprints.
-
The RAPID Software Verification Framework
/
Georgiou, P., Gleiss, B., Bhayat, A., Rawson, M., Kovacs, L., & Reger, G. (2022). The RAPID Software Verification Framework. In A. Griggio & N. Rungta (Eds.), Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 (pp. 255–260). TU Wien Academic Press. https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_32
Download: PDF (308 KB) -
Reuse of Introduced Symbols in Automatic Theorem Provers
/
Rawson, M., Suda, M., Hozzova, P., & Reger, G. (2022). Reuse of Introduced Symbols in Automatic Theorem Provers. In B. Konev, C. Schon, & A. Steen (Eds.), PAAR 2022. Practical Aspects of Automated Reasoning 2022. Proceedings of the Workshop on Practical Aspects of Automated Reasoning. CEUR-WS.org. https://doi.org/10.34726/4343
Download: PDF (859 KB)
Project: ARTIST (2021–2026) -
The Vampire Approach to Induction (short paper)
/
Hajdu, M., Kovacs, L., Rawson, M., & Voronkov, A. (2022). The Vampire Approach to Induction (short paper). In B. Konev, C. Schon, & A. Steen (Eds.), PAAR 2022. Practical Aspects of Automated Reasoning 2022. Proceedings of the Workshop on Practical Aspects of Automated Reasoning. https://doi.org/10.34726/4103
Download: PDF (836 KB) -
Automating Security Analysis of Off-Chain Protocols
/
Brugger, L. S., Kovacs, L., Petkovic Komel, A., Rain, S., & Rawson, M. (2022, August 11). Automating Security Analysis of Off-Chain Protocols [Conference Presentation]. 4th International Workshop on Formal Methods for Blockchains, Haifa, Israel. https://doi.org/10.34726/3523
Download: PDF (265 KB)
Project: ARTIST (2021–2026)