AJPF

MaRDI QIDQ40213swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-642-40624-9_17

Cited in

(3)

• Two-stage agent program verification
• Gwendolen
• Using agent JPF to build models for other model checkers

This page was built for software: AJPF