Crocodyliformes is a clade of crurotarsan archosaurs, the group often traditionally referred to as "crocodilians."
In 1988, Michael J. Benton and James M. Clark argued that all traditional names for well-known groups of animals should be restricted to their crown clades, that is, used only for natural groups comprising all living members of any given lineage. This posed a problem for the crocodilians, because the name Crocodylia, while used in various ways by various scientists, had always included not only living crocodilians but many of their extinct ancestors known only from the fossil record.
Benton and Clark's solution to this issue was to restrict the name Crocodylia to the group containing modern alligators, crocodiles, and gharials, plus any extinct members of those specific families. The traditional group "Crocodylia" was replaced with the name Crocodyliformes, which included many of the extinct families the new definition left out. Clark and Benton did not initially provide an exact definition for Crocodyliformes, but in 2001Paul Sereno and colleagues defined it as the clade including Protosuchus richardsoni and the Nile crocodile, plus all descendants of their common ancestor.
Chris Brochu agreed with the assessment that Crocodylia as a name has never had stable contents, and that a series of clades larger than the crown group Crocodylia (including Crocodyliformes and the slightly more inclusive clade Crocodylomorpha) was a good solution. However, in a 2008 paper Jeremy Martin and Benton, the authors reversed the previous opinion (co-authored by Benton) that Crocodylia should be restricted to the crown group, suggesting that Crocodyliformes should be considered a synonym of a more inclusive Crocodylia, and thus replaced. Brochu and colleagues rejected this proposal, arguing that the crown deﬁnition of Crocodylia is the standard meaning both within and beyond the crocodyliform systematics community.