Computation Verification Extension

Description

The extension provides verification of simulated trajectories. The provided services are placed in ApplicationScope.

Maven Dependency

<dependency>
    <groupId>org.sybila.parasim.extension</groupId>
    <artifactId>computation-verification-impl</artifactId>
    <version>${parasim.version}</version>
</dependency>

Usage

public class MyClass {
    @Inject
    private STLVerifier verifier;

    public void main(DataBlock trajectories, Formula property) {
        VerifiedDataBlock<Trajectory> verified = verifier.verify(trajectories, property);
        ...
    }
}