|
Showing 1 - 6 of
6 matches in All Departments
This book constitutes the revised selected papers of the 9th
International Symposium on Formal Aspects of Component Software,
FACS 2012, held in Mountain View, CA, USA in September 2012. The 16
full papers presented were carefully reviewed and selected from 40
submissions. They cover topics such as formal models for software
components and their interaction; formal aspects of services,
service oriented architectures, business processes, and cloud
computing; design and verification methods for software components
and services; composition and deployment: models, calculi,
languages; formal methods and modeling languages for components and
services; model based and GUI based testing of components and
services; models for QoS and other extra-functional properties
(e.g., trust, compliance, security) of components and services;
components for real-time, safety-critical, secure, and/or embedded
systems; industrial or experience reports and case studies; update
and reconfiguration of component and service architectures;
component systems evolution and maintenance; autonomic components
and self-managed applications; formal and rigorous approaches to
software adaptation and self-adaptive systems.
This volume contains the proceedings of the 16th International SPIN
Workshop on Model Checking of Software (SPIN 2009), that was held
at the Grenoble World Trade Center, in Grenoble, France, June
26-28, 2009. The workshop was co-located with the 21st
International Conference on Computer-Aided Veri?- tion (CAV 2009).
The SPIN workshopis a forum for practitioners and
researchersinterested in
themodelchecking-basedanalysisofsoftwaresystems.Thefocusoftheworkshop
is on theoretical advances and empirical evaluations related to
state-space and path exploration techniques, as implemented in the
SPIN model checker and other software veri?cation tools. The
workshop aims to encourage interactions and exchanges of ideas with
all related areasin software engineering. SPIN 2009 was the 16th
event in the workshop series, which started in 1995. This year,
wereceived41 submissions (34technical papersand 7 toolpapers) out
of which 18 papers were accepted (15 technical papers and 3 tool
papers). Each submission was reviewed by three Program Committee
members. In addition to the refereed papers, the workshop featured
four invited talks given by Patrice Godefroid, from Microsoft
Research, USA, on "Software Model
CheckingImprovingSecurityofaBillionComputers,"MartaKwiatkowska,
from Oxford University, UK, "On Quantitative Software Veri?cation,"
Joseph Sifakis (recipient of the Turing Award 2007), from VERIMAG,
France, on "The Quest for Correctness - Beyond a posteriori
Veri?cation," and Willem Visser, from the University of
Stellenbosch, South Africa, on "Who Really Cares if the Program
Crashes?" We would like to thank the authors of submitted papers,
the invited spe- ers, the Program Committee members, the external
reviewers, and the Steering
This book constitutes the proceedings of the 19th International
Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which
took place in Tbilisi, Georgia, in September 2022.The 23 papers
presented in this volume together with 2 short papers were
carefully reviewed and selected from 52 submissions. The book deals
with challenges in both theoretical aspects of computing and the
exploitation of theory through methods and tools for system
development.
This book constitutes the refereed proceedings of the 19th
International Conference on Software Engineering and Formal
Methods, SEFM 2021, held as a virtual event, in December 2021. The
22 full papers presented together with 4 short papers were
carefully reviewed and selected from 86 submissions. Also included
are 2 invited talks and an abstract of a keynote talk. The papers
cover a large variety of topics, including testing, formal
verification, program analysis, runtime verification,
meta-programming and software development and evolution. Chapter
'Configuration Space Exploration for Digital Printing Systems' is
available open access under a Creative Commons Attribution 4.0
International License via link.springer.com.
|
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Paperback, 1st ed. 2015)
Daniel Kroening, Corina S. Pasareanu
|
R1,686
Discovery Miles 16 860
|
Ships in 10 - 15 working days
|
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed
proceedings of the 27th International Conference on Computer Aided
Verification, CAV 2015, held in San Francisco, CA, USA, in July
2015. The total of 58 full and 11 short papers presented in the
proceedings was carefully reviewed and selected from 252
submissions. The papers were organized in topical sections named:
model checking and refinements; quantitative reasoning; software
analysis; lightning talks; interpolation, IC3/PDR, and Invariants;
SMT techniques and applications; HW verification; synthesis;
termination; and concurrency.
|
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Paperback, 1st ed. 2015)
Daniel Kroening, Corina S. Pasareanu
|
R3,012
Discovery Miles 30 120
|
Ships in 10 - 15 working days
|
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed
proceedings of the 27th International Conference on Computer Aided
Verification, CAV 2015, held in San Francisco, CA, USA, in July
2015. The total of 58 full and 11 short papers presented in the
proceedings was carefully reviewed and selected from 252
submissions. The papers were organized in topical sections named:
model checking and refinements; quantitative reasoning; software
analysis; lightning talks; interpolation, IC3/PDR, and Invariants;
SMT techniques and applications; HW verification; synthesis;
termination; and concurrency.
|
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
|