Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
ETAPS 2009 was the 12th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, COCV, COMPASS, FESCA, FInCo, FORMED, GaLoP, GT-VMT, HFL, LDTA, MBT, MLQA, OpenCert, PLACES, QAPL, RC, SafeCert, TAASN, TERMGRAPH, and WING),fourtutorials,andseveninvitedlectures(excludingthosethatweres- ci?c to the satellite events). The ?ve main conferences received 532 submissions (including 30 tool demonstration papers), 141 of which were accepted (10 tool demos), giving an overall acceptance rate of about 26%, with most of the c- ferences at around 25%. Congratulations therefore to all the authors who made it to the ?nal programme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that youwill allcontinue submitting to ETAPS and contributing towards making it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstract abstract interpretation algorithm analysis antichains approach arithmetic automata automaton benchmarks boolean cache checker closure composition compute conﬁguration construction Craig interpolation deﬁned Deﬁnition denote diﬀerent dynamic eﬀectively eﬃcient encoding equation system example ﬁeld ﬁnd ﬁnite ﬁrst ﬁxed formula function game semantics graph Heidelberg Heidelberg 2009 implementation inﬁnite initial input integer interpolation invariant iteration L1 and L2 language Lemma linear constraints LNCS logic LSep memory model checking monitor MoonWalker nodes NuSMV octagonal path Petri nets pointers predicate problem properties quantiﬁer Ramsey-based reachability recursive redundant reference count reﬁnement representation satisﬁability Section semantics sequence Simulink size-change Skolem SMT solver speciﬁcation Springer static strategy string superposition calculus symbolic execution synchronization TACAS techniques termination Theorem theory thread tion tool trace slices transition relation transition system transitive closure variables veriﬁcation