\(Mexitl\): Multimedia in executable interval temporal logic

DOI10.1023/A:1021736013555zbMath1029.03506MaRDI QIDQ1395673

D. Massart

Publication date: 1 July 2003

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

model theory; satisfaction; temporal logic; multimedia; actions; framing; authoring; executable

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

03B44: Temporal logic