Outcome of a Dagstuhl Seminar: Numerical Software with Result Verification 2003

Languages

Software Systems and Tools

New Verification Techniques Based on Interval Arithmetic

Applications in Science and Engineering

Novel Approaches to Verification

maintained by Schloss Dagstuhl LZI at University of Trier