Parallel Run-Time Verification
S Berkovich - 2013 - uwspace.uwaterloo.ca
Run-time verification is a technique to reason about a program correctness. Given a set of
desirable properties and a program trace from the inspected program as an input, the …
desirable properties and a program trace from the inspected program as an input, the …
Parallel Run-Time Verification.
S Berkovich - 2013 - library-archives.canada.ca
Run-time verification is a technique to reason about a program correctness. Given a set of
desirable properties and a program trace from the inspected program as an input, the …
desirable properties and a program trace from the inspected program as an input, the …