Runtime verification (RV) is an approach to verification consisting in dynamically checking
that the event traces generated by single runs of a system under scrutiny (SUS) are …

Runtime enforcement ensures the respect of a user-specified security policy by a program
by providing a valid replacement for any misbehaving sequence of events that may occur …

Most mainstream object-oriented languages provide a notion of equality between objects
which can be customized to be weaker than reference equality, and which is coupled with …

Runtime verification is a relatively new software verification technique that aims to prove the
correctness of a specific run of a program, rather than statically verify the code. The program …

Runtime Verification (RV) or Runtime Monitoring has gained increasing interest in recent
years [99]. It can be defined as the process of observing the behavior of a running system …

Behavioural models are a valuable tool for software verification, testing, monitoring,
publishing etc. However, they are rarely provided by the software developers and have to be …

抄録 本論文では, Stream API を用いる Java プログラム中の停止しないストリーム操作を検出する
ための型システムを提案する. Java Stream API を用いることでデータ集合に対する操作を宣言的に …