Caper

MaRDI QIDQ32089swMATHFDO

Official website https://github.com/caper-tool/caper

Source code repository https://github.com/caper-tool/caper

Cited in

(5)

• Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
• Abstract specifications for concurrent maps
• ConcurrentSkipListMap
• GRASShopper
• Caper

This page was built for software: Caper