PSL for Runtime Verification: Theory and Practice.

Published in: RV (2007)

Keyphrases

model checking
theoretical insights
theoretical basis
real world
computational model
theoretical framework
search engine
information technology
evolutionary algorithm
information theory
formal methods
english text
theoretical frameworks