Normal view MARC view ISBD view

Verified Software. Theories, Tools and Experiments [electronic resource] : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers / edited by Andrew Reynolds, Serdar Tasiran.

Contributor(s):

Material type:

TextSeries: Lecture Notes in Computer Science ; 14095Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Edition: 1st ed. 2024Description: IX, 109 p. 77 illus., 17 illus. in color. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783031660641

Subject(s):

Additional physical formats: Printed edition:: No title; Printed edition:: No titleLOC classification:

QA75.5-76.95

Online resources:

Resursa online

Contents:

Picky CDCL: SMT-solving With Flexible Literal Selection -- Safety Performance of Neural Networks in the Presence of Covariate Shift -- Pierce: A Testing Tool for Neural Network Verification Solvers -- Specifying and Verifying a Real-World Packet Error-Correction System -- Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL -- Provable Determinism for Software in Cyber-Physical Systems.

In: Springer Nature eBookSummary: This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

Item type: List(s) this item appears in: Titluri cărți electronice Springer Nature 2025 (10631 titluri)

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

There are no comments on this title.

to post a comment.

Back to results

1 Financial issues in emerging economies :
2 Research in economic history. Vol. 36 /
3 Uncertainty and challenges in contemporary economic behaviour /
4 Education policy as a roadmap for achieving the sustainable development goals :
by Taysum, Alison,
5 Research in the history of economic thought and methodology. Vol. 37C, including a symposium on Robert Heilbroner at 100 /
6 Research in economic history. Vol. 35 /
7 Research in the history of economic thought and methodology. Vol. 37B, including a symposium on Ludwig Lachmann /
8 Dynamics of financial stress and economic performance :
by Thimmaraya, Ramesh Babu,
9 Research in economic history. Volume 34 /
10 Research in the history of economic thought and methodology. Volume 35, part A /
11 Research in economic history /
12 Mulberry
by Ozturk, Munir.
13 The Financial Image
by King, Alasdair.
14 The Resurgence of Inflation
by Heine, Michael.
15 The Telegraph and Stock Exchanges
by Garg, Sonali.
16 The Strategic Logic of China’s Economy
by McKay, Huw.
17 Handbook on Post-War Reconstruction and Development Economics of Ukraine
18 Islamic Financial Institutions from the Early Modern Period to the 20th Century
19 The Italian Fashion System
by Merlo, Elisabetta.
20 China's Labour Market, 1950–2050
by Du, Jane.
21 Chinese Investment in Africa
22 The Economic and Social Impact of the COVID-19 Pandemic
23 Studies in Housing and Urban Analysis in Japan
24 Economic Theory in the Twentieth Century, An Intellectual History—Volume III
by Marchionatti, Roberto.
25 Werner Sombart and the 'Spirit' of Modern Capitalism
by Adair-Toteff, Christopher.
26 Gold, Finance and Imperialism in South Africa, 1887–1902
by Lukasiewicz, Mariusz.
27 Joseph Butler
28 China’s e-Science Blue Book 2023
29 Econometric Analysis of Regional Economy
by Asahi, Sachiyo.
30 The Economic Legacy of José Joaquín de Mora
by Astigarraga, Jesús.
31 International Investment Law and Arbitration from a Latin American Perspective
32 Wage Rage for Equal Pay
by Scutt, Jocelynne A.
33 Crony Comprador Capitalism
by Yue, Jianyong.
34 The Economics of the Popular Music Industry
by Byun, Christie.
35 Inflation Decade, 1910—1920
by Macleod, David I.
36 The Forgotten Financiers of the Louisiana Purchase
by Neal, Larry.
37 The Neapolitan Creative Economy
by Del Prete, Rossella.
38 Carrying Capacity of China’s Resources, Environment, Population, and Economy
by Qiu, Dong.
39 South African Economy
by Gumede, Vusi.
40 Reflections on the Future of Capitalism
by Chandra, Ramesh.
41 Business History of Hospitals in the 20th Century
42 Geographies of the Platform Economy
43 Models, Methods, and Morality
44 Openness and Coordination
by Kwon, Hyeong-ki.
45 Money Doctors Around the Globe
46 The Palgrave Handbook of Philosophy and Money
47 A History of Banks
by Karan, Mehmet Baha.
48 The Palgrave Handbook of Philosophy and Money
49 Nineteenth Century Businesswomen
50 Global History in China
by Fan, Xin.