SymmPa

swMATH8414MaRDI QIDQ20423FDOQ20423

Author name not available (Why is that?)

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