LEVER

swMATH25001MaRDI QIDQ36746FDOQ36746

Author name not available (Why is that?)

Cited In (3)

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

This page was built for software: LEVER