Verifying Unboundedness via Amalgamation.

Ashwani Anand Sylvain Schmitz Lia Schütze Georg Zetzsche

Published in: LICS (2024)

Keyphrases

model checking
information systems
case study
artificial intelligence
query language
software architecture
formal specification