Structured Object-Oriented Formal Language and Method

11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

AvShaoying Liu,Zhenhua Duan

Häftad, Engelska, 2023

Del 13854 i serien Lecture Notes in Computer Science

606 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022. The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions.

Produktinformation

Utgivningsdatum:2023-03-25
Mått:155 x 235 x 10 mm
Vikt:260 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:151
Förlag:Springer International Publishing AG
ISBN:9783031294754

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Innehållsförteckning

Model Checking & Markov Decision Process.- Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph.- An Approach of Transforming Non-Markovian Reward to Markovian Reward.- A JPSL based Model Checking Approach for Java Programs.- Model Analysis & Tool Implementation.- Implementation of Matlab matfun Toolkit Based on MSVL.- Extending Visibly Pushdown Automata over Multi-matching Nested Relations.- Schedulability analysis of rate-monotonic algorithm on concurrent execution of digraph real-time tasks.- Formal Specification & Testing.- Formalization of natural language into PPTL specification via neural machine translation.- Testing Program Segments to Detect Runtime Exceptions in Java.- Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing.- Algorithms & Verification.- Testing and Verifying the security of COVID-19 CT Images Deep Learning System with Adversarial Attack.- Verifying and improving neural networks using testing-based formal verification.- Alternating Projection Temporal Epistemic Logic.