JTLV

MaRDI QIDQ20857swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-14295-6_18

Cited in

(10)

• Unbeast
• Verification of multi-linked heaps
• Synthesis from scenario-based specifications
• Performance heuristics for GR(1) synthesis and related algorithms
• Effective synthesis of asynchronous systems from GR(1) specifications
• Agent planning programs
• QUASY
• RATSY
• IndiGolog
• Synthesis of Reactive(1) designs

This page was built for software: JTLV