4D993 Category 4D
“Program” proof and validation “software,” “software” allowing the automatic generation of “source codes,” and operating system “software” that are “specially designed” for “real-time processing” equipment (see List of Items Controlled).
Category 4: Computers
Reasons for control
- AT: Anti-terrorism
Country chart
| Control | Column |
|---|---|
| AT applies to entire entry | AT 1 |
List-based license exceptions
| Exception | As stated in the entry |
|---|---|
| TSR | N/A |
Items
- Items: a. “Program” proof and validation “software” using mathematical and analytical techniques and designed or modified for “programs” having more than 500,000 “source code” instructions;
- b. “Software” allowing the automatic generation of “source codes” from data acquired online from external sensors described in the Commerce Control List; or
- c. Operating system “software” “specially designed” for “real-time processing” equipment that guarantees a “global interrupt latency time” of less than 20 microseconds.
Related controls
N/A
Source: eCFR, version
2026-08-01, retrieved
2026-08-20T04:04:59+00:00.