II.
LibraryProcess overview
Reference · livelib-process:algorithms-optimization--correctness-proof-testing
specializations/algorithms-optimization/correctness-proof-testing overview
Algorithm Correctness Proof and Testing - Formal process for proving algorithm correctness using invariants, induction, and contradiction, followed by comprehensive testing including edge cases.
Attributes
displayName
specializations/algorithms-optimization/correctness-proof-testing
description
Algorithm Correctness Proof and Testing - Formal process for proving algorithm correctness using
invariants, induction, and contradiction, followed by comprehensive testing including edge cases.
libraryPath
library/specializations/algorithms-optimization/correctness-proof-testing.js
specialization
algorithms-optimization
references
- CLRS Chapter on Correctness
- Formal Methods in Software Engineering
example
const result = await orchestrate('specializations/algorithms-optimization/correctness-proof-testing', {
algorithmName: 'BinarySearch',
implementation: 'function binarySearch(arr, target) {...}',
language: 'javascript'
});
usesAgents
- correctness-verifier
- test-engineer
Outgoing edges
lib_applies_to_domain1
- domain:computer-science·DomainComputer Science
lib_belongs_to_specialization1
- specialization:algorithms-optimization·Specialization
lib_implements_workflow1
- workflow:architecture-decision-record·WorkflowArchitecture Decision Record
lib_involves_role2
- role:backend-engineer·RoleBackend Engineer
- role:computational-scientist·RoleComputational Scientist
lib_requires_skill_area2
- skill-area:dynamic-programming·SkillAreaDynamic Programming
- skill-area:graph-algorithms·SkillAreaGraph Algorithms
uses_agent2
- lib-agent:algorithms-optimization--correctness-verifier·LibraryAgentcorrectness-verifier
- lib-agent:algorithms-optimization--test-engineer·LibraryAgenttest-engineer
Incoming edges
None.