Refinement Type Contracts for Verification of Scientific Investigative Software.

Published in: VSTTE (2019)

Keyphrases

software development
source code
model checking
software projects
database
neural network
supply chain
software systems
software architecture
software platform
formal methods
multiple types
software design
software maintenance
development process
operating system
search engine
artificial intelligence
databases