1. Runtime verification based on
CSP
TSSS-3
AIST, Mar. 23, 2015
Yoriyuki Yamagata, Artho Cyrille, Masami Hagiya, Alexander Kohan,
Lei Ma, Nazim Sebih, Yoshinori Tanabe, Mitsuharu Yamamoto
7. Command line
stracematch yoriyuki$ time target/pack/bin/strace-match <
wget.log > trace.wget
SLF4J: Failed to load class
"org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger
implementation
SLF4J: See http://www.slf4j.org/
codes.html#StaticLoggerBinder for further details.
real 0m1.219s
user 0m2.595s
sys 0m0.165s