|
Showing 1 - 4 of
4 matches in All Departments
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.
Traditionally, models and methods for the analysis of the
functional correctness of reactive systems, and those for the
analysis of their performance (and - pendability) aspects, have
been studied by di?erent research communities. This has resulted in
the development of successful, but distinct and largely unrelated
modeling and analysis techniques for both domains. In many modern
systems, however, the di?erence between their functional features
and their performance properties has become blurred, as relevant
functionalities become inextricably linked to performance aspects,
e.g. isochronous data transfer for live video tra- mission. During
the last decade, this trend has motivated an increased interest in
c- bining insights and results from the ?eld of formal methods -
traditionally - cused on functionality - with techniques for
performance modeling and analysis. Prominent examples of this
cross-fertilization are extensions of process algebra and Petri
nets that allow for the automatic generation of performance models,
the use of formal proof techniques to assess the correctness of
randomized - gorithms, and extensions of model checking techniques
to analyze performance requirements automatically. We believe that
these developments markthe - ginning of a new paradigm for the
modeling and analysis of systems in which qualitative and
quantitative aspects are studied from an integrated perspective. We
are convinced that the further worktowards the realization of this
goal will be a growing source of inspiration and progress for both
communities.
This book constitutes the refereed proceedings of the Third
International Workshop on Tools and Algorithms for the Construction
and Analysis of Systems, TACAS '97, held in Enschede, The
Netherlands, in April 1997.
The book presents 20 revised full papers and 5 tool demonstrations
carefully selected out of 54 submissions; also included are two
extended abstracts and a full paper corresponding to invited talks.
The papers are organized in topical sections on space reduction
techniques, tool demonstrations, logical techniques, verification
support, specification and analysis, and theorem proving, model
checking and applications.
|
Tools and Algorithms for the Construction and Analysis of Systems - First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Paperback, 1995 ed.)
Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen
|
R1,664
Discovery Miles 16 640
|
Ships in 10 - 15 working days
|
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.
|
You may like...
Tenet
John David Washington, Robert Pattinson
Blu-ray disc
(1)
R54
Discovery Miles 540
Gloria
Sam Smith
CD
R407
Discovery Miles 4 070
|