Courses Of Kherson State University

Courses of KSU:

• Algebraic programming (APS APLAN).

• Insertion modeling system (IMS).

• Verification (IMS, TLA+, Spin, Alloy).

• Formal Methods of Software Engineering.

• Requirements Analysis.

• Analysis and Modeling of Business Processes.

• Analysis of Tokenomics Models. 

• Development of Smart Contracts.