Verifying Unboundedness via Amalgamation.

Ashwani Anand Sylvain Schmitz Lia Schütze Georg Zetzsche

Published in: CoRR (2024)

Keyphrases

model checking
temporal logic
black box
formal specification language
business process
metamodel