Skip navigation links

Package dk.brics.tajs.monitoring.soundness.testing

The soundness testing implementation: compares abstract and concrete states.

See: Description

Package dk.brics.tajs.monitoring.soundness.testing Description

The soundness testing implementation: compares abstract and concrete states.

New kinds of abstract or concrete information probably only require changes to either AbstractConcreteValueComparator or LogEntrySoundnessTester.

Skip navigation links

Copyright © 2009-2017 Aarhus University