HKSAT Introduction

Features

HKSAT validates embedded software with the following features:

Usage

HKSAT can be used to

Possible Analysis

Currently, HKSAT can perform the following analysis: