下列关于诉的分类的说法正确的有：( )

A．乙公司以甲公司严重违约为由，诉至法院，要求解除合同，解除合同的请求即形成之诉
B．乙公司以甲公司违约为由，诉至法院，要求甲公司继续履行，这是给付之诉
C．甲向法院起诉乙，要求返还借自己的1000元钱，乙向法院辩称自己根本没有和甲签订过借款合同，乙的主张是消极确认之诉
D．甲起诉乙建筑公司，要求乙马上停止施工降低噪音，这是形成之诉