verification_validation_engine (agents v0.2.0)

View Source

Summary

Functions

add_validation_rule(Pid, Rule)

callback_mode()

certification(EventType, OldState, Data)

certification_process(Pid, CertificationLevel)

completed(EventType, Request, Data)

compliance_checking(Pid, Standards)

compliance_checking(EventType, OldState, Data)

dynamic_testing(Pid, TestSuite)

dynamic_verification(EventType, OldState, Data)

execute_formal_verification(Pid, Spec)

failed(EventType, Request, Data)

formal_verification(EventType, OldState, Data)

idle(EventType, Event, Data)

init(Config)

model_checking(Pid, Model)

preprocessing(EventType, OldState, Data)

proof_checking(Pid, ProofObligation)

proof_checking(EventType, OldState, Data)

property_verification(Pid, Properties)

start_link(Config)

static_analysis(Pid, AnalysisType)

static_verification(EventType, OldState, Data)

submit_for_verification(Pid, Subject)

terminate(Reason, StateName, Data)