Skip to toolbar

Community & Business Groups

Software Analysis, Automated Theorem Proving, Plan and Argument Analysis

The technology of static program analysis, automated theorem proving, computer algebra systems, formula editors, automated planning and scheduling, plan rationale, argumentation software, argument analysis software,¬†related document authoring and editing software as well as the features and¬†ergonomics of such software are … Continue reading