Submissions from github.com/nasa-sw-vnv

		Ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/nasa-sw-vnv)
		1 point by nateb2022 5 months ago \| past
		Static analyzer IKOS 3.2 Released (github.com/nasa-sw-vnv)
		1 point by ivanperez-keera on Dec 28, 2023 \| past
		NASA's static analyzer IKOS 3.2-rc1 published – Request for testers (github.com/nasa-sw-vnv)
		2 points by ivanperez-keera on Dec 17, 2023 \| past
		Fret: Formal Requirements Elicitation Tool v3.0 (github.com/nasa-sw-vnv)
		1 point by AlanClifford on Nov 26, 2023 \| past \| 1 comment
		IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/nasa-sw-vnv)
		91 points by ingve on April 20, 2022 \| past \| 38 comments
		Formal Requirements Elicitation Tool (github.com/nasa-sw-vnv)
		62 points by xo5vik on Dec 12, 2021 \| past \| 33 comments
		IKOS (Inference Kernel for Open Static Analyzers) (github.com/nasa-sw-vnv)
		1 point by jjuhl on April 24, 2019 \| past
		IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/nasa-sw-vnv)
		5 points by pmarin on Dec 12, 2018 \| past
		IKOS: static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/nasa-sw-vnv)
		3 points by ingve on Dec 11, 2018 \| past