Search: github.com/NASA-SW-VnV | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)

91 points

4 years ago

2.

Formal Requirements Elicitation Tool (github.com/NASA-SW-VnV)

62 points

4 years ago

3.

IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)

18 points

5 months ago

4.

IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)

5 points

7 years ago

5.

IKOS: static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)

3 points

7 years ago

6.

NASA's static analyzer IKOS 3.2-rc1 published – Request for testers (github.com/NASA-SW-VnV)

2 points

ivanperez-keera

2 years ago

7.

Fret: Formal Requirements Elicitation Tool v3.0 (github.com/NASA-SW-VnV)

1 point

3 years ago

8.

Ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/NASA-SW-VnV)

1 point

2 years ago

9.

Static analyzer IKOS 3.2 Released (github.com/NASA-SW-VnV)

1 point

ivanperez-keera

2 years ago

10.

IKOS (Inference Kernel for Open Static Analyzers) (github.com/NASA-SW-VnV)

1 point

7 years ago