|
Showing 1 - 4 of
4 matches in All Departments
This book constitutes the refereed proceedings of the 12th
International Conference on Software Engineering and Formal
Methods, SEFM 2014, held in Grenoble, France, in September 2014.
The 23 full papers presented together with 3 invited and 6 tool
papers were carefully reviewed and selected from 106 submissions.
They are organized in topical section on program verification,
testing, component-based systems, real-time and embedded systems,
model checking and automata learning, program correctness, and
adaptive and multi-agent systems.
This book constitutes the refereed proceedings of the 18th
International Symposium on Formal Methods, FM 2012, held in Paris,
France, in August 2012. The 28 revised full papers presented
together with 7 tool papers and 3 invited talks were carefully
reviewed and selected from numerous submissions. The papers cover
several aspects of formal methods, including verification,
synthesis, runtime monitoring, testing and controller synthesis, as
well as novel applications of formal methods in interesting domains
such as satellites, autonomous vehicles and disease dynamics.
|
NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings (Paperback, 1st ed. 2020)
Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou
|
R2,248
Discovery Miles 22 480
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 12th International
Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field,
CA, USA, in May 2020.* The 20 full and 5 short papers presented in
this volume were carefully reviewed and selected from 62
submissions. The papers are organized in the following topical
sections: learning and formal synthesis; formal methods for DNNs;
high assurance systems; requirement specification and testing;
validation and solvers; solvers and program analysis; verification
and times systems; autonomy and other applications; and hybrid and
cyber-physical systems. *The conference was held virtually due to
the COVID-19 pandemic. The chapter "Verifying a Solver for Linear
Mixed Integer Arithmetic in Isabelle/HOL" is available open access
under a Creative Commons Attribution 4.0 International License via
link.springer.com.
|
Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Paperback, 2014 ed.)
Dimitra Giannakopoulou, Daniel Kroening
|
R2,430
Discovery Miles 24 300
|
Ships in 10 - 15 working days
|
This volume constitutes the thoroughly refereed post-conference
proceedings of the 6th International Conference on Verified
Software: Theories, Tools and Experiments, VSTTE 2014, held in July
2014 at the Vienna Summer of Logic in Vienna, Austria, as an
associated event of CAV 2014, the International Conference on
Computer-Aided Verification. The 17 revised full papers presented
were carefully revised and selected from 34 submissions. The papers
are organized in topical sections such as analysis: understanding
and explanation; verification frameworks and applications;
hypervisors and dynamic data structures; certification; real time
and security.
|
You may like...
Morbius
Jared Leto, Matt Smith, …
DVD
R179
Discovery Miles 1 790
|