A concise specification language for trace monitoring.

Kostyantyn Vorobyov Padmanabhan Krishnan Phil Stocks

Published in: SAC (2015)

Keyphrases

specification language
formal specification
programming language
description language
monitoring system
real time
software environment
requirements specification
symbolic execution
web services
relational databases
software development
query expansion
petri net