Язык / Language
Organizers
Location
The seminar takes place in Moscow, Russia. Address: ulitsa Aleksandra Solzhenitsyna, 25 (Institute for System Programming of Russian Academy of Sciences). Beginning at 5p.m.Recent sessions
- December 17: On smart-contracts reliability increasing using symbolic model checking
- October 31: Predicate and automata programming technology
- June 13: Relational invariants as solutions of non-linear constrained Hoare clauses systems
- March 21st: Management of information which is duplicated in software artifacts
- February 21st: Methods and means of implementing software-controlled software development process of critical information systems
Archive
Go to this page to get slides and materials of all past sessions.Seminar’s Google group
sdat-seminar.
Stay connected!Recent comments
- Eugene Kornykhin on October, 20th: Software and tools for verification by DO-178B/C
- Михаил Сабуров on October, 20th: Software and tools for verification by DO-178B/C
- Саша on January, 22nd: NPS — an alternative approach to computer networks simulation
- Ян on December, 18th: “React OS” operating system
- Видеозапись выступления координатора проекта ReactOS | AllUNIX.ru — Всероссийский портал о UNIX-системах on December, 18th: “React OS” operating system
Author Archives: Eugene Kornykhin
November, 22nd: Symbolic verification and deductive software testing
The talk is devoted to using of deductive methods in software development. Symbolic verification of formal specifications is used in requirements gathering. Formal specifications are analyzed on fullness, safety, liveness, etc. This step is based on invariants and specifications abstraction. … Continue reading
The next session
The next session of the seminar will be held in November, 2012. Tweet This Post Send Gmail
The next session
The next session of the seminar will be held in October, 2012. Tweet This Post Send Gmail
The broadcast
Sorry, this entry is only available in По-русски. Tweet This Post Send Gmail
April, 19th: Software engineering - Process-engagement risks of testing
Speaker: Alexandr Alexandrov – Ph.D., group leader at Luxoft. He has graduated from Lomonosov Moscow State University. He worked at Research Computing Center of Lomonosov University and Department of Computational Mathematics and Cybernatics until 1999. He was developer of standards … Continue reading
The broadcast
Sorry, this entry is only available in По-русски. Tweet This Post Send Gmail
March, 15th: Life-cycle support technology and tools for avionics
Avionics is complex systems with strict functional requirements, safety and real-time requirements. The talk is devoted to avionics life-cycle support and development of toolchain for it. Also the talk is devoted to simulation and integration of avionics modules. Speaker: Vasily … Continue reading
February, 16th: Adaptive control as universal law of the nature. Its structure and algorithm, useful applications.
Alexander Zhdanov, Dr. Prof., head of AAC-Lab at Lebedev Institute of Precision Mechanics and Computer Engineering, Russian Academy of Sciences, who wrote “Автономный искусственный интеллект” (Autonomous Artificial Intelligent). He’s going to talk about his understanding of the algorithm in a … Continue reading