Login / Signup
Towards platform-independent specification and verification of the standard trigonometry functions.
Nikolay V. Shilov
Boris L. Faifel
Svetlana O. Shilova
Aleksey V. Promsky
Published in:
CoRR (2019)
Keyphrases
</>
platform independent
formal verification
formal methods
model driven architecture
model driven
high level
model checking
reverse engineering
databases
artificial intelligence
asynchronous circuits