Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics.

Published in: MCU (2015)

Keyphrases

formal verification
model checking
bounded model checking
automated verification
model checker
computer science
temporal logic
symbolic model checking
coloured petri nets
artificial intelligence
program slicing
knowledge acquisition
neural network
fuzzy sets
orders of magnitude
hartree fock