SPRINT: A tool to generate concurrent transaction-level models from sequential code

Cockx, JohanJohanCockxDenolf, KristofKristofDenolfVanhoof, BartBartVanhoofStahl, RichardRichardStahl2021-10-162021-10-162007-05https://imec-publications.be/handle/20.500.12860/11891SPRINT: A tool to generate concurrent transaction-level models from sequential codeJournal article