<--- Back to Details
First PageDocument Content
Theoretical computer science / Software engineering / Computing / Model checking / Specification language / Computer programming / Correctness / Formal methods / Cognitive science
Date: 2017-08-08 05:01:11
Theoretical computer science
Software engineering
Computing
Model checking
Specification language
Computer programming
Correctness
Formal methods
Cognitive science

Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de

Add to Reading List

Source URL: www.cs.man.ac.uk

Download Document from Source Website

File Size: 52,59 KB

Share Document on Facebook

Similar Documents

Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1

Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1

DocID: 1xVYz - View Document

National Center for Atmospheric Research  Quality Assurance and Error Identification for the Community Earth System Model Allison Baker

National Center for Atmospheric Research Quality Assurance and Error Identification for the Community Earth System Model Allison Baker

DocID: 1xVVX - View Document

A	
  Family	
  of	
  Provably	
  Correct	
  Algorithms	
   for	
  Exact	
  Triangle	
  Coun;ng	
  	
   	
   Ma=hew	
  Lee,	
  Tze	
  Meng	
  Low	
   Correctness	
  2017	
   	
  

A  Family  of  Provably  Correct  Algorithms   for  Exact  Triangle  Coun;ng       Ma=hew  Lee,  Tze  Meng  Low   Correctness  2017    

DocID: 1xVUG - View Document

Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France  NSV, July 22-23, 2017

Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017

DocID: 1xVvl - View Document

Preliminaries  Solution framework Correctness

Preliminaries Solution framework Correctness

DocID: 1xUYJ - View Document