DynAlloy

swMATH39829MaRDI QIDQ55529FDOQ55529

Author name not available (Why is that?)

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

Cited In (7)

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

This page was built for software: DynAlloy