SymmPa

MaRDI QIDQ20423swMATHFDO

Official website http://www.cprover.org/SAPA/

Cited in

(7)

• Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions
• SymmExtractor
• Threader
• MAGIC
• monabs
• Lost in abstraction: monotonicity in multi-threaded programs
• Counterexample-guided abstraction refinement for symmetric concurrent programs

This page was built for software: SymmPa