Formal Verification and Accelerated Inference-Reference-Cited by-同舟云学术

Formal Verification and Accelerated Inference

Published:2016 Issue: Volume: Page:203-211
ISSN:2194-5357
Container-title:Advances in Intelligent Systems and Computing
language:
Short-container-title:

Author:

Strabykin Dmitry,Meltsov Vasily,Dolzhenkova Maria,Chistyakov Gennady,Kuvaev Alexey

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-33625-1_19

Reference18 articles.

1. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge, Mass. (2008)

2. Karpov, Y.: Model checking: Verifikatsiya parallel’nykh i raspredelennykh programmnykh sistem (Model checking. Verication of parallel and distributed software systems). BHV Petersburg, Saint Petersburg (2010)

3. Clarke, E., Grumberg, O., Peled, D.: Model Checking. Verication with Model Checking and Inference. MIT Press, Cambridge, Mass. (1999)

4. Fujita, M., Ghosh, I., Prasad, M.: Verification Techniques for System Level Design. Morgan Kaufmann Publishers, Amsterdam (2008)

5. Drechsler, R.: Advanced Formal Verification. Kluwer Academic Publishers, Boston (2004)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. FPGA-Implementation of a Configuration Block for a Specialized Computing System Based on Neural Network Modules;2024 Conference of Young Researchers in Electrical and Electronic Engineering (ElCon);2024-01-29

2. Method and Module on FPGA for Parallel Unification of Predicates;2023 Seminar on Networks, Circuits and Systems (NCS);2023-11-29

3. FPGA-implementation of the Decision Block for Numerical Prediction System Based on Artificial Neural Networks;2023 Seminar on Information Computing and Processing (ICP);2023-11-27

4. Improving the Efficiency of Forecasting Sports Events Using a Cascade of Neural Networks;Communication and Intelligent Systems;2022

5. Logical Inference in Predicate Calculus with the Definition of Previous Statements;Advances in Intelligent Systems and Computing;2021