Язык / 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
January, 19th: Avalanche - dynamic software analysis tool for defects detection
Avalanche is open-source tool developed in ISPRAS with cooperation from Samsung. Avalanche uses Valgrind for collecting and analysis of program traces. Avalanche tryes to compute program input detecting program error or detecting program paths not executed before. As result Avalanche … Continue reading
New videorecordings in archive
Thanks to Alexey Burtsev, we have video recordings for the following talks: №1 - Ruslan Smelyansky - Programs behavior analysis №2 - Aleksandr Volkov, Sergei Markov – Using static analysis to searching for software defects №5 - Aleksei Latsis – … Continue reading
Broadcast is not available today
Follow us today by twitter: http://twitter.com/sdat_seminar. Tweet This Post Send Gmail
Today broadcast announcement
We are plesure to announce the broadcast of the seminar today in test mode on this web site. We apologize for any technical problems. Thank you. Tweet This Post Send Gmail
December, 15th: An approach to balanced choosing of avionics modules according to reliability requirements
Speaker: Dmitry Volkanov, Ph.D. He has got M.S. and Ph.D. in Lomonosov Moscow State University. Now he works in Lomonosov Moscow State University and in Laboratory headed by Dr. Prof. Ruslan Smeliansky. Scientific interests are reliability, fault-tolerance, simulation, embedded systems, … Continue reading
November, 17th: Object-oriented constraint programming - new application in software engineering
Keywords: constraint programming, UML, OCL, language Express. Speaker: Prof. Dr. Vitaly Semenov (Institute for System Programming of Russian Academy of Sciences). Research area: object-oriented programming, data modelling, CAD/CAM technologies integration. Tweet This Post Send Gmail
Record of broadcast from October, 20th, 2011
You can also look at slides and record of broadcast from October, 20th, 2011, in archive. Tweet This Post Send Gmail
Today broadcast
Link to watch broadcast of today seminar is http://212.192.247.132/videos/video/276/?live=true Tweet This Post Send Gmail