Category:SPARK: Difference between revisions
Content added Content deleted
m (Made Ada references into links) |
(External -> wp link, added paradigms) |
||
Line 9: | Line 9: | ||
|safety=safe |
|safety=safe |
||
|LCT=yes}} |
|LCT=yes}} |
||
{{language programming paradigm|concurrent}} |
|||
⚫ | [ |
||
{{language programming paradigm|imparative}} |
|||
{{language programming paradigm|object-oriented}} |
|||
⚫ | |||
The properties that SPARK code can be analysed for are: |
The properties that SPARK code can be analysed for are: |