Refinement type contracts for verification of scientific investigative software.

Published in: CoRR (2019)

Keyphrases

formal methods
software maintenance
software development
software systems
software design
scientific data
personal computer
model checking
data mining
computer systems
supply chain
distributed systems
software tools
learning environment
genetic algorithm
science education
multiple types
real time
hardware designs