Formal analysis and offline monitoring of electronic exams (Q2402552)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal analysis and offline monitoring of electronic exams |
scientific article |
Statements
Formal analysis and offline monitoring of electronic exams (English)
0 references
8 September 2017
0 references
runtime verification
0 references
quantified event automata
0 references
electronic exams
0 references
model-checking
0 references
proverif
0 references
