000			04983nam a22006615i 4500
001			978-981-96-0617-7
003			DE-He213
005			20250516160200.0
007			cr nn 008mamaa
008			241129s2024 si | s |||| 0|eng d
020			_a9789819606177 _9978-981-96-0617-7
050		4	_aQA75.5-76.95
072		7	_aUYA _2bicssc
072		7	_aCOM014000 _2bisacsh
072		7	_aUYA _2thema
082	0	4	_a004.0151 _223
245	1	0	_aFormal Methods and Software Engineering _h[electronic resource] : _b25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings / _cedited by Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu.
250			_a1st ed. 2024.
264		1	_aSingapore : _bSpringer Nature Singapore : _bImprint: Springer, _c2024.
300			_aXII, 410 p. 103 illus., 70 illus. in color. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x1611-3349 ; _v15394
505	0		_a -- NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. -- Repairing Event-B Models through Quantifier Elimination. -- Tuning Trains Speed in Railway Scheduling. -- The Bright Side of Timed Opacity. -- Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory. -- Efficient State Estimation of Discrete-Timed Automata. -- LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction. -- Quantitative Symbolic Robustness Verification for Quantized Neural Networks. -- Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. -- Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. -- Deciding the synthesis problem for hybrid games through bisimulation. -- Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. -- Differential Property Monitoring for Backdoor Detection. -- MemSpate: Memory Usage Protocol Guided Fuzzing. -- The Continuum Hypothesis Implies the Existence of Non-Principal Arithmetical Ultrafilters - A Coq Formal Verification. -- Observability of Boolean Control Networks: New Definition and Verification Algorithm. -- Formalizing Potential Flows using the HOL Light Theorem Prover. -- On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. -- Efficient SMT-Based Model Checking for HyperTWTL. -- A Tableau-based Approach to Model Checking Linear Temporal Properties. -- Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. -- Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase.
520			_aThis volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.
541			_fUABC ; _cPerpetuidad
650		0	_aComputer science.
650		0	_aComputer programming.
650		0	_aSoftware engineering.
650		0	_aCompilers (Computer programs).
650		0	_aApplication software.
650		0	_aNatural language processing (Computer science).
650	1	4	_aTheory of Computation.
650	2	4	_aProgramming Techniques.
650	2	4	_aSoftware Engineering.
650	2	4	_aCompilers and Interpreters.
650	2	4	_aComputer and Information Systems Applications.
650	2	4	_aNatural Language Processing (NLP).
700	1		_aOgata, Kazuhiro. _eeditor. _0(orcid)0000-0002-4441-3259 _1https://orcid.org/0000-0002-4441-3259 _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aMery, Dominique. _eeditor. _0(orcid)0000-0001-5231-6611 _1https://orcid.org/0000-0001-5231-6611 _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aSun, Meng. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aLiu, Shaoying. _eeditor. _0(orcid)0000-0002-6748-5052 _1https://orcid.org/0000-0002-6748-5052 _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9789819606160
776	0	8	_iPrinted edition: _z9789819606184
830		0	_aLecture Notes in Computer Science, _x1611-3349 ; _v15394
856	4	0	_zLibro electrónico _uhttp://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-981-96-0617-7
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
942			_cLIBRO_ELEC
999			_c276895 _d276894