Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
Joost-Pieter Katoen, Perdita Stevens
Springer, Apr 29, 2002 - System design - 482 pages
This book constitutes the refereed proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, held in Grenoble, France, in April 2002. The 29 revised full papers presented together with one invited paper and four tool papers were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on real-time and probabilistic systems, scheduling, miscellaneous, software verification, infinite-state and parametric systems, model checking: logics and algorithms, model checking and testing, partial-order and simulation techniques, and debugging with model checking.
What people are saying - Write a review
We haven't found any reviews in the usual places.
A New Technology for Software Modelling
29 other sections not shown
Other editions - View all
abstraction algorithm analysis applied approach attribute grammars automata automaton behavior bisimulation black box testing boolean checker clocks closed under inverse complete components Computer Science concurrent configurations constraints construction counterexample deadline deadlock defined Definition denote domain efficient encoding equivalent error example execution finite fixpoint formal formula function genetic algorithm given global I-System IEEE implementation initial input inverse digitisation iteration Kripke structure labels Lemma linear linear temporal logic LNCS methods minimal model checking MTBDD multiset node operator optimal partition path Petri Nets phase phase transitions precedence graph predicate preemptive priority problem Proc processors Proof properties protocol reachable Real-Time Systems reset satisfies semantics sequence simulation space sparse matrices specification Springer-Verlag static schedulability step structure symbolic synchronization TACAS techniques temporal logic Theorem token tool trace transition relation tuple variables verification