LEVER

swMATH25001MaRDI QIDQ36746FDOQ36746

Author name not available (Why is that?)

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