Learning to verify branching time properties (Q2642669)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Learning to verify branching time properties |
scientific article |
Statements
Learning to verify branching time properties (English)
0 references
17 August 2007
0 references
Verification
0 references
CTL
0 references
Learning
0 references