On Stream Runtime Verification and Aggregate Programming.
Ferruccio DamianiGianluca TortaPublished in: VORTEX@ISSTA (2023)
Keyphrases
- data streams
- model checking
- programming language
- sliding window
- streaming data
- programming environment
- computer programming
- formal verification
- artificial intelligence
- verification method
- development environment
- real time
- programming skills
- intelligent tutor
- asynchronous circuits
- face verification
- aggregate data
- concurrent systems
- stream data
- formal analysis
- formal methods
- temporal logic
- software engineering
- data structure
- data sets