PARCOACH Extension for a Full-Interprocedural Collectives Verification

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness.2018.00013 ◽

2018 ◽

Author(s):

Pierre Huchant ◽

Emmanuelle Saillard ◽

Denis Barthou ◽

Hugo Brunie ◽

Patrick Carribault

Download Full-text