|
Showing 1 - 6 of
6 matches in All Departments
|
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Paperback, 2014 ed.)
Erika Abraham, Klaus Havelund
|
R1,676
Discovery Miles 16 760
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 20th International
Conference on Tools and Algorithms for the Construction and
Analysis of Systems, TACAS 2014, which took place in Grenoble,
France, in April 2014, as part of the European Joint Conferences on
Theory and Practice of Software, ETAPS 2014. The total of 42 papers
included in this volume, consisting of 26 research papers, 3 case
study papers, 6 regular tool papers and 7 tool demonstrations
papers, were carefully reviewed and selected from 161 submissions.
In addition the book contains one invited contribution. The papers
are organized in topical sections named: decision procedures and
their application in analysis; complexity and termination analysis;
modeling and model checking discrete systems; timed and hybrid
systems; monitoring, fault detection and identification;
competition on software verification; specifying and checking
linear time properties; synthesis and learning; quantum and
probabilistic systems; as well as tool demonstrations and case
studies.
This book constitutes the proceedings of the 19th International
Conference on Quantitative Evaluation Systems, QEST 2022, held in
Warsaw, Poland, in September 2022.The 19 full papers presented
together with 1 keynote paper were carefully reviewed and selected
from 44 submissions. The papers are organized in the following
topics: program analysis; parameter synthesis; markovian agents and
population models; dynamical systems; tools; applications and
automata theory; and applications.
This book constitutes the refereed proceedings of the 12th
International Conference on Integrated Formal Methods, IFM 2016,
held in Reykjavik, Iceland, in June 2016. The 33 papers presented
in this volume were carefully reviewed and selected from 99
submissions. They were organized in topical sections named: invited
contributions; program verification; probabilistic systems;
concurrency; safety and liveness; model learning; SAT and SMT
solving; testing; theorem proving and constraint satisfaction; case
studies.
This Festschrift volume has been published in honor of Frank de
Boer, on the occasion of his 60th birthday. Frank S. de Boer is a
prominent member of the research community in formal methods and
theoretical computer science. A brief look at his lengthy
publication list reveals a broad area of interest and a versatile
modus operandi with: logic and constraint programming; deductive
proof systems, soundness, and completeness; semantics,
compositionality, and full abstraction; process algebra and
decidability; multithreading and actor-based concurrency; agent
programming, ontologies, and modal logic; real-time systems, timed
automata, and schedulability; enterprise architectures,
choreography, and coordination; testing and runtime monitoring; and
cloud computing and service-level agreements. For a while, he also
liked failures, especially in semantics, and optimistically
concluded with the failure of failures. In fact, Frank has an
opportunistic approach to research. Rather than seeing obstacles,
he finds opportunities.
|
Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings (Paperback, 2014 ed.)
Erika Abraham, Catuscia Palamidessi
|
R2,479
Discovery Miles 24 790
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 34th IFIP WG 6.1
International Conference on Formal Techniques for Distributed
Objects, Components and Systems, FORTE 2014, held in Berlin,
Germany, in June 2014, as part of the 9th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2014. The
18 revised full papers presented were carefully reviewed and
selected from 50 submissions. The papers present a wide range of
topics on specification languages and type systems, monitoring and
testing, security analysis and bisimulation, abstraction and
reduction.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Hampstead
Diane Keaton, Brendan Gleeson, …
DVD
R66
Discovery Miles 660
|