Automatic assume-guarantee reasoning for safety and liveness using passive learning

Read Full-text

Listen

Save

• Abstract
• Literature Map
• References
• Similar Papers

Abstract

Translate Article

Automatic assume-guarantee reasoning for safety and liveness using passive learning

• # Passive Learning
• # Assume-guarantee Reasoning