DynAlloy

MaRDI QIDQ55529swMATHFDO

Official website https://dl.acm.org/doi/abs/10.1145/1062455.1062535

Cited in

(7)

• Efficient bounded model checking of heap-manipulating programs using tight field bounds
• A static semantics for Alloy and its impact in refactorings
• TACO
• SReach
• CRN++
• GemStone
• CompoSAT

This page was built for software: DynAlloy