Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen
Springer, Dec 20, 1995 - System design - 291 pages
This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Combining model checking and deduction for IOautomata
O MUller and T Nipkow
A user guide to HyTech
11 other sections not shown
Other editions - View all
abstract actions ACTL ALGEBRA module algorithm Alternating Bit Protocol analysis applied approximation chain automaton behaviour bisimulation bitvector Boolean equation system channels communication components compression Computer Science Concurrency condition data flow analysis defined definition denotes distributed equivalence relation example FIGURE finite-state fixpoint formal function Gaufi elimination given hybrid automata HyTech implementation induction input knowledge transitions labelled labelled transition systems language layers linear hybrid liveness properties LNCS logic MAUTO method minimal modal transition systems model checking operational semantics output parallel composition parallel program model parameters predicate problem Proc Proceedings process algebra proof Proposition protocol reachable refinement region regular expressions requirement rules safety properties satisfies sequential solution SOS(p specification Springer-Verlag strategy structure synchronization syntactic syntax techniques temporal logic theorem tion trace transformation transition relation variables verification tools