agents
v0.2.0
Search documentation of agents
Settings
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)
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)