Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

University of Texas at El Paso

Departmental Technical Reports (CS)

2011

Functional program verification

Articles 1 - 2 of 2

Full-Text Articles in Computer Engineering

The Cleanjava Language For Functional Program Verification, Yoonsik Cheon, Cesar Yeep, Melisa Vela Aug 2011

Functional Verification Of Class Invariants In Cleanjava, Carmen Avila, Yoonsik Cheon May 2011