Logical inference method and machine for the formal verification of parallel algorithms

More works in this specialty

1. Methods and tools for solving problems of data search and secure storage using hybrid computing technologies

   Rovnyagin, Mikhail Mikhailovich · 2015 · Candidate of Sciences · National Research Nuclear University

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
   • 05.13.19 Methods and systems of information protection, information security
2. Methods and software tools for integration of applications using an external bus

   Shumsky, Leonid Dmitrievich · 2015 · Candidate of Sciences · National Research Nuclear University

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
3. Algorithms and software tools for automatic text-independent recognition of persons by voice

   Shulipa, Andrey Konstantinovich · 2015 · Candidate of Sciences · Saint Petersburg National Research University of Information Technologies, Mechanics and Optics

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
4. A method for developing formal contextual requirements for the verification of software logic control systems

   Shoshmina, Irina Vladimirovna · 2015 · Candidate of Sciences · Saint Petersburg Polytechnic University

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
5. Generation of finite-state machines based on ant colony algorithms

   Chivilikhin, Daniil Sergeevich · 2015 · Candidate of Sciences · Saint Petersburg National Research University of Information Technologies, Mechanics and Optics

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks

All works in this specialty