Radhia Cousot

1. A static analyzer for large safety-critical software
   2003/05/09 by Bruno Blanchet, Patrick Cousot, Radhia Cousot +6 · 7 citations
   Computer Science · #Formal Methods in Verification #Software Engineering Research #Software Reliability and Analysis Research
2. A static analyzer for large safety-critical software
   2003/05/09 by Bruno Blanchet, Patrick Cousot, Radhia Cousot +5 · 1 citation
   Computer Science · #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Formal Methods in Verification
3. Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
   2002/01/01 by Bruno Blanchet, Patrick Cousot, Radhia Cousot +6 · 1 citation
   Computer Science · #Embedded Systems Design Techniques #Formal Methods in Verification #Software Testing and Debugging Techniques