Sky Bear Technical Standards - Home
REGISTER

FR
Search Icon
Search
×
FR

Placeholder headline

This is just a placeholder headline

B51-14 (R2019) – Boiler, pressure vessel, and pressure piping code

$

362

BUY NOW

Placeholder headline

This is just a placeholder headline

CSA C22.2 NO. 62841-2-6:22 – Electric motor-operated hand-held tools, transportable tools and lawn and garden machinery — Safety — Part 2-6: Particular requirements for hand-held hammers (Binational standard with UL 62841-2-6)

$

598

BUY NOW

Placeholder headline

This is just a placeholder headline

CSA C22.2 NO. 62841-2-6:22/A1:24 – Amendment 1:2024 to CSA C22.2 NO. 62841-2-6:22, Electric motor-operated hand-held tools, transportable tools and lawn and garden machinery — Safety — Part 2-6: Particular requirements for hand-held hammers (Binational standard with UL 62841-2-6)

$

111

BUY NOW

Placeholder headline

This is just a placeholder headline

CAN/CSA-C22.2 NO. 62841-2-5:16 (R2026) – Electric motor-operated hand-held tools, transportable tools and lawn and garden machinery – Safety – Part 2-5: Particular requirements for hand-held circular saws (Bi-national standard with UL 62841-2-5)

$

480

BUY NOW

Placeholder headline

This is just a placeholder headline

CAN/CSA-C22.2 NO. 62841-2-5:16 (R2026)/A1:26 – Amendment 1:2026 to CAN/CSA-C22.2 NO. 62841-2-5:16, Electric motor-operated hand-held tools, transportable tools and lawn and garden machinery – Safety – Part 2-5: Particular requirements for hand-held circular saws (Bi-national standard with UL 62841-2-5)

$

48

BUY NOW

Placeholder headline

This is just a placeholder headline

CAN/CSA-C22.2 No. 62841-2-4:15/A1:26 – Amendment 1:2026 (IDT) to CAN/CSA-C22.2 No. 62841-2-4:15, Electric motor-operated hand-held tools, transportable tools and lawn and garden machinery — Safety — Part 2-4: Particular requirements for hand-held sanders and polishers other than disc type (Bi-national standard with UL 62841-2-4)

$

48

BUY NOW

Placeholder headline

This is just a placeholder headline

CAN/CSA-C22.2 NO. 62841-2-4:15 (R2025) – Electric motor-operated hand-held tools, transportable tools and lawn and garden machinery — Safety — Part 2-4: Particular requirements for hand-held sanders and polishers other than disc type (Bi-national standard with UL 62841-2-4)

$

167

BUY NOW

Placeholder headline

This is just a placeholder headline

CSA C22.2 NO. 62841-2-3:21/A1:26 – Amendment 1:2026 to CSA C22.2 No. 62841-2-3:21, Electric motor-operated hand-held tools, transportable tools and lawn and garden machinery — Safety — Part 2-3: Particular requirements for handheld grinders, disc-type polishers and disc-type sanders (Binational standard with UL 62841-2-3)

$

520

BUY NOW

Placeholder headline

This is just a placeholder headline

CSA C22.2 NO. 62841-2-23:25 – Electric motor-operated hand-held tools, transportable tools and lawn and garden machinery — Safety — Part 2-23: Particular requirements for hand-held die grinders and small rotary tools (Binational standard with IEC 62841-2-23)

$

394

BUY NOW

Placeholder headline

This is just a placeholder headline

CAN/CSA-C22.2 NO. 62841-2-21:18/A1:26 – Amendment 1:2026 to CAN/CSA-C22.2 No. 62841-2-21:18, Electric motor-operated hand-held tools, transportable tools and lawn and garden machinery – Safety – Part 2-21: Particular requirement for hand-held drain cleaners (Adopted amendment 1:2024 to IEC 62841-2-21)

$

21

BUY NOW

Awaiting product image

ISO 24718:2025

ISO 24718:2025 Information technology – Programming languages – Guidance for the use of the Ada Ravenscar Profile in high integrity systems

CDN $0.00

SKU: 397c6a0053a9 Categories: ,

Description

This document provides guidance on the use of the Ravenscar profile for concurrent Ada software intended for verification up to, and including, the very highest levels of integrity.

To this end, this document provides a complete description of the motivations behind the Ravenscar profile, to show how conformant programs can be analysed, and to give examples of usage.

This document is aimed at a broad audience, including application programmers, implementers of run-time systems, those responsible for defining company or project guidelines, and academics. Familiarity with the Ada language is assumed.

Edition

1

Published Date

2025-01-24

Status

PUBLISHED

Pages

52

Language Detail Icon

English

Format Secure Icon

Secure PDF

Secure – PDF details

  • Save your file locally or view it via a web viewer
  • Viewing permissions are restricted exclusively to the purchaser
  • Device limits - 3
  • Printing – Enabled only to print (1) copy

See more about our Environmental Commitment

Close

Abstract

This document provides guidance on the use of the Ravenscar profile for concurrent Ada software intended for verification up to, and including, the very highest levels of integrity.

To this end, this document provides a complete description of the motivations behind the Ravenscar profile, to show how conformant programs can be analysed, and to give examples of usage.

This document is aimed at a broad audience, including application programmers, implementers of run-time systems, those responsible for defining company or project guidelines, and academics. Familiarity with the Ada language is assumed.

Previous Editions

Can’t find what you are looking for?

Please contact us at:
Contact Image

[email protected]

Related Documents

Need Help?

Customer Care

+1 587-570-4151

[email protected]

Need Help?

Customer Care

+1 234 567 8910

[email protected]

[email protected]

+1 587-570-4151

Quick Links

© 2026 Sky Bear Technical Standards Inc. All rights reserved.

Proudly Canadian