Verifying HyperLTL Properties in Event-B.

Jean-Paul Bodeveix Thomas Carle Elie Fares Mamoun Filali Thai Son Hoang

Published in: ABZ (2024)

Keyphrases

event detection
real time
structural properties
data sets
desirable properties
spatio temporal
information systems
social networks
artificial intelligence
learning environment
information technology
multiresolution
probability distribution
model checking
databases
temporal patterns
event driven