| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Formal techniques for distributed objects, components, and systems/ edited by Carla Ferreira, Claudio Antares Mezzina. |
| Reminder of title: |
45th IFIP WG 6.1 International Conference, FORTE 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025 : proceedings / |
| remainder title: |
FORTE 2025 |
| other author: |
Ferreira, Carla. |
| corporate name: |
FORTE Conference |
| Published: |
Cham :Springer Nature Switzerland : : 2025., |
| Description: |
x, 221 p. :ill. (chiefly color), digital ;24 cm. |
| [NT 15003449]: |
tutorial paper. -- A Choreographic View of Smart Contracts. -- regular papers. -- Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems. -- Sequential Composition of BDD Transition Systems for Model-Based Testing. -- Scaling Information Flow Control by-Construction to Component-based Software Architectures. -- Noninterference Analysis of Stochastically Timed Reversible Systems. -- Attribute-based Communication over Pub/Sub: Transactional Coordination for Smart Systems. -- Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring. -- Towards Efficient Verification of Parallel Applications with Mc SimGrid. -- Revisited Convergence of a Self-Stabilizing BFS Spanning Tree Algorithm. -- short papers. -- Choreographies for Program Understanding. -- An Approach to Formalize Information-theoretic Security of Multiparty Computation Protocols. -- SNexpression: a new component for SN matrix-based structural analysis. -- Assessing Code Understanding in LLMs. -- LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests. |
| Contained By: |
Springer Nature eBook |
| Subject: |
Formal methods (Computer science) - Congresses. - |
| Online resource: |
https://doi.org/10.1007/978-3-031-95497-9 |
| ISBN: |
9783031954979 |