Stop the war!
Остановите войну!
for scientists:
default search action
Electronic Communication of the European Association of Software Science and Technology, Volume 35
Volume 35, 2010
- Jens Bendisposto, Michael Leuschel, Markus Roggenbach:
Avocs2010 Preface. - Marco A. Feliú, Christophe Joubert, Fernando Tarin:
Evaluation Strategies for Datalog-based Points-To Analysis. - Emre Yilmaz, Thai Son Hoang:
Development of Rabin's Choice Coordination Algorithm in Event-B. - Cristian Daniel Rosa, Stephan Merz, Martin Quinson:
A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction. - Adedayo Oyelakin Adetoye, Nikolaos Papanikolaou:
Static Analysis of Information Release in Interactive Programs. - Shamim Ripon, Alice Miller:
Verification of Symmetry Detection using PVS. - Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi:
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study. - Vitaly Kozyura, Andreas Roth, Sebastian Wieczorek, Wei Wei:
Checking Consistency Between Message Choreographies And Their Implementation Models. - Mohamed Tounsi, Mohamed Mosbah, Dominique Méry:
Proving Distributed Algorithms by Combining Refinement and Local Computations. - Neil Evans:
Integrating Formal Methods with Informal Digital Hardware Development. - Phillip James, Markus Roggenbach:
Automatically Verifying Railway Interlockings using SAT-based Model Checking.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.