Ahoj všem, uzavřel jsem hlasování o termínu konání reading group. Bude se konat každé druhé pondělí 14:15. Prosím všechny kdo se plánují účastnit, aby se přihlásili do emailové konference https://rtime.felk.cvut.cz/mailman/listinfo/reading-group, přes kterou se bude řešit další organizace. První článek budu prezentovat já. Bude to 9. února a od vás se očekává, že si níže uvedený článek si přečtete a dostavíte se na mou prezentaci, po které bude následovat diskuze. On Wed, Jan 21 2015, Michal Sojka wrote:
První článek bych prezentoval já. Zajímá mě jak funguje analyzátor kódu ASTREE, který používají v Airbusu a vybral jsem následující článek:
Why does ASTRÉE scale up? Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, 2009 http://www.di.ens.fr/~cousot/publications.www/CousotEtAl-FMSD-v35n3pp229-264...
Na viděnou se těší. -Michal Sojka