An HPC Practitioner's Workbench for Formal Refinement Checking.

Juan Benavides John W. Baugh Jr.Ganesh Gopalakrishnan

Published in: LCPC (2022)

Keyphrases

high performance computing
formal models
fault tolerance
scientific computing
real world
formal analysis
data sets
formal methods
formal model
data management
information systems
genetic algorithm
logic programs
np complete
digital libraries
computer vision
social networks
consistency checking
database