Pinned Repositories
a_framework
A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
synthesis
Synthesis of implementations for divide-and-conquer specifications
maksym-bortin's Repositories
maksym-bortin/a_framework
A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
maksym-bortin/synthesis
Synthesis of implementations for divide-and-conquer specifications