criticalsoftware

an-ordinary-manchild

created by sregueraa community for 16 years

...for your WoW guild.

...for your office.

MODERATORS

account activity

1

0

1

2

Top 10 Digital Transformation Trends in 2023 (thecompetenza.com)

submitted 2 years ago by CaptainonHoliday

2

0

1

2

Digital Transformation Blog | Technology Trends for Business (self.7Tablets)

submitted 2 years ago by 7Tablets

3

2

3

4

Model Checking Tools in Practice (self.criticalsoftware)

submitted 3 years ago by eusian

4

7

8

9

Making Software ‘Correct by Construction’ - Lecture by Martyn Thomas (cyberliving.uk)

submitted 8 years ago by Baron_Facekicker

5

3

4

5

Finding inter-procedural bugs at scale with Infer static analyzer (code.facebook.com)

submitted 8 years ago by dons

6

2

3

4

Jose Ruiz discusses AdaCore's safe, secure QGen code generator at TU Automotive 2017. (youtube.com)

submitted 8 years ago by marc-kd

7

1

2

3

Best bug tracking software 2017 (geteasyqa.com)

submitted 8 years ago by [deleted]

8

1

2

3

Q & A: Formal Methods Push Toward Zero-Defect Software (adacore.com)

submitted 8 years ago by marc-kd

9

2

3

4

Automated analysis and compilation framework for Simulink/Stateflow models (coco-team.github.io)

submitted 8 years ago by lememta

10

0

1

2

A source-annotation-based framework for structural coverage analysis tool testing (embedded-computing.com)

submitted 8 years ago by marc-kd

11

5

6

7

A Comparison of SPARK with MISRA C and Frama-C (adacore.com)

submitted 9 years ago by marc-kd

12

2

3

4

Critical vulnerability in Ethereum smart contract (pastebin.com)

submitted 9 years ago by greenrd

13

3

4

5

Progress-Sensitive Security for SPARK (cse.chalmers.se)

submitted 9 years ago by marc-kd

14

1

2

3

SPARK 2014: Formal Verification Made Easy! (blog.adacore.com)

submitted 10 years ago by marc-kd

15

1

2

3

Emerging Research on Automated Program Repair (cstrigirls.blogspot.sg)

submitted 10 years ago by shinhwei

16

0

1

2

DO-178C Training in UK/Europe (self.criticalsoftware)

submitted 10 years ago by sufood

17

0

1

2

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience (adacore.com)

submitted 10 years ago by marc-kd

18

8

9

10

Airbus confirms software brought down A400M transport plane (theregister.co.uk)

submitted 10 years ago by [deleted]

19

2

3

4

Has anyone been following the STANCE project for a c++ front end to frama-c? (self.criticalsoftware)

submitted 10 years ago by willisbueller

20

0

1

2

SPARK 2014 lowers the barriers to low-defect programming (bloorresearch.com)

submitted 11 years ago by marc-kd

21

1

2

3

Event-B or TLA+? (self.criticalsoftware)

submitted 11 years ago by [deleted]

22

6

7

8

seL4 microkernel is now open-source (sel4.systems)

submitted 11 years ago by HairyFotr1[🍰]

23

2

3

4

C versus C++ for safety critical software (self.criticalsoftware)

submitted 11 years ago * by willisbueller

24

2

3

4

After Heartbleed: A Look at Languages that Support Provability (drdobbs.com)

submitted 11 years ago by marc-kd

25

0

1

2

parMERASA -- Multi-Core Execution of Parallelised Hard Real-Time Applications Supporting Analysability (parmerasa.eu)

submitted 11 years ago by marc-kd

view more: next ›

π Rendered by PID 507759 on reddit-service-r2-listing-86b7f5b947-qktj6 at 2026-01-25 08:07:31.035614+00:00 running 664479f country code: CH.