Laurent Mauborgne
- A static analyzer for large safety-critical software
2003/05/09 by Bruno Blanchet, Patrick Cousot, Radhia Cousot +6 · 5 citations
Computer Science · #Formal Methods in Verification #Software Engineering Research #Software Reliability and Analysis Research
- The trace partitioning abstract domain
2007/08/02 by Xavier Rival, Laurent Mauborgne · 2 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Testing and Debugging Techniques