(Q4678212)

Statements

instance of

software

1 reference

imported from Wikimedia project

English Wikipedia

has use

static program analysis

1 reference

imported from Wikimedia project

English Wikipedia

Wikimedia import URL

https://en.wikipedia.org/w/index.php?title=AdaControl&oldid=923716664

logo image

Adactl logo.png
230 × 187; 4 KB

1 reference

imported from Wikimedia project

English Wikipedia

operating system

Microsoft Windows

1 reference

imported from Wikimedia project

English Wikipedia

Linux

1 reference

imported from Wikimedia project

English Wikipedia

macOS

1 reference

imported from Wikimedia project

English Wikipedia

programmed in

Ada

1 reference

imported from Wikimedia project

English Wikipedia

Wikimedia import URL

https://en.wikipedia.org/w/index.php?title=AdaControl&oldid=905788387

official website

http://www.adalog.fr/en/adacontrol.html

1 reference

imported from Wikimedia project

English Wikipedia

copyright license

GNAT Modified General Public License

1 reference

imported from Wikimedia project

English Wikipedia

Identifiers