Klockwork: Source code analysis tools for software security.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Groce, Alex; Havelund, Klaus; Holzmann, Gerard; Joshi, Rajeev; Xu, Ru-Gang: Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (2014)
- Whittle, Jon; Kwan, Richard; Saboo, Jyoti: From scenarios to code: an air traffic control case study (2005)