## AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically

Go Generating

## AI Traceability

AI parses the academic lineage of this thesis

Generate MRT

# Process Behaviour: Formulae vs. Tests (Extended Abstract)

EXPRESS, pp.31-45, (2010)

Cited: 2|Views23
EI
Full Text
Bibtex

Abstract

Process behaviour is often defined either in terms of the tests they satisfy, or in terms of the logical properties they enjoy. Here we compare these two approaches, using extensional testing in the style of DeNicola, Hennessy, and a recursive version of the property logic HML. We first characterise subsets of this property logic which ca...More

Code:

Data:

Author
0