Uses of Class
net.maswag.falcaun.BlackBoxVerifier

Packages that use BlackBoxVerifier

Package	Description
net.maswag.falcaun	FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.

Uses of BlackBoxVerifier in net.maswag.falcaun

Fields in net.maswag.falcaun declared as BlackBoxVerifier

Modifier and Type	Field	Description
private final BlackBoxVerifier<List<Double>>	NumericSULVerifier.verifier