LEVER

MaRDI QIDQ36746swMATHFDO

Official website https://link.springer.com/chapter/10.1007/11817963_43

Cited in

(6)

• Action language verifier: An infinite-state model checker for reactive software specifications
• Automatic symbolic compositional verification by learning assumptions
• libalf
• Sigma*
• CALF
• Inferring regular languages and \(\omega\)-languages

This page was built for software: LEVER