|
Showing 1 - 8 of
8 matches in All Departments
This book constitutes the thoroughly refereed post-proceedings
of the 7th International Workshop on Runtime Verification, RV 2007,
held in Vancouver, Canada, in August 2007 as satellite workshop of
AoSD 2007, the International Conference on Aspect-Oriented Software
Development.
The 16 revised full papers presented together with 1 invited
paper were carefully selected from 29 initial submissions. The
subject covers several technical fields such as specification
languages and logics, aspect oriented languages with trace
predicates, program instrumentation in general, program guidance in
general, combining static and dynamic analysis, and dynamic program
analysis. There are 7 papers that focus on aspect-oriented
programming followed by 9 papers which place emphasis on core
runtime verification.
|
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Paperback, 1st ed. 2019)
Isil Dillig, Serdar Tasiran
|
R1,670
Discovery Miles 16 700
|
Ships in 10 - 15 working days
|
The open access two-volume set LNCS 11561 and 11562 constitutes the
refereed proceedings of the 31st International Conference on
Computer Aided Verification, CAV 2019, held in New York City, USA,
in July 2019. The 52 full papers presented together with 13 tool
papers and 2 case studies, were carefully reviewed and selected
from 258 submissions. The papers were organized in the following
topical sections: Part I: automata and timed systems; security and
hyperproperties; synthesis; model checking; cyber-physical systems
and machine learning; probabilistic systems, runtime techniques;
dynamical, hybrid, and reactive systems; Part II: logics, decision
procedures; and solvers; numerical programs; verification;
distributed systems and networks; verification and invariants; and
concurrency.
|
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Paperback, 1st ed. 2019)
Isil Dillig, Serdar Tasiran
|
R1,706
Discovery Miles 17 060
|
Ships in 10 - 15 working days
|
This open access two-volume set LNCS 11561 and 11562 constitutes
the refereed proceedings of the 31st International Conference on
Computer Aided Verification, CAV 2019, held in New York City, USA,
in July 2019. The 52 full papers presented together with 13 tool
papers and 2 case studies, were carefully reviewed and selected
from 258 submissions. The papers were organized in the following
topical sections: Part I: automata and timed systems; security and
hyperproperties; synthesis; model checking; cyber-physical systems
and machine learning; probabilistic systems, runtime techniques;
dynamical, hybrid, and reactive systems; Part II: logics, decision
procedures; and solvers; numerical programs; verification;
distributed systems and networks; verification and invariants; and
concurrency.
This book constitutes the thoroughly refereed post-conference
proceedings of the Third International Conference on Runtime
Verification, RV 2012, held in Istanbul, Turkey, in September 2012.
The 25 revised full papers presented together with 3 invited papers
and 2 tutorials were carefully reviewed and selected from 50
submissions. The papers address a wide range of specification
languages and formalisms for traces, specification mining, program
instrumentation, monitor construction techniques, logging,
recording, and replay, fault detection, localization, recovery and
repair, program steering and adaptation, metrics and statistical
information gathering, combination of static and dynamic analyses
and program execution visualization.
|
You may like...
Merry Christmas
Mariah Carey, Walter Afanasieff, …
CD
R118
R58
Discovery Miles 580
|