001482573 000__ 03292cam\\2200613\i\4500
001482573 001__ 1482573
001482573 003__ OCoLC
001482573 005__ 20231128003342.0
001482573 006__ m\\\\\o\\d\\\\\\\\
001482573 007__ cr\cn\nnnunnun
001482573 008__ 231023s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001482573 020__ $$a9783031453298$$q(electronic bk.)
001482573 020__ $$a3031453298$$q(electronic bk.)
001482573 020__ $$z9783031453281
001482573 0247_ $$a10.1007/978-3-031-45329-8$$2doi
001482573 035__ $$aSP(OCoLC)1405613027
001482573 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dOCLCO$$dOCLCF
001482573 049__ $$aISEA
001482573 050_4 $$aQA76.9.A96
001482573 08204 $$a004.01/5113$$223/eng/20231023
001482573 1112_ $$aATVA (Symposium)$$n(21st :$$d2023 :$$cSingapore)
001482573 24510 $$aAutomated technology for verification and analysis :$$b21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings.$$nPart I /$$cÉtienne André, Jun Sun, editors.
001482573 24630 $$aATVA 2023
001482573 264_1 $$aCham :$$bSpringer,$$c[2023]
001482573 264_4 $$c©2023
001482573 300__ $$a1 online resource (xvi, 446 pages) :$$billustrations (some color).
001482573 336__ $$atext$$btxt$$2rdacontent
001482573 337__ $$acomputer$$bc$$2rdamedia
001482573 338__ $$aonline resource$$bcr$$2rdacarrier
001482573 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v14215
001482573 500__ $$aInternational conference proceedings.
001482573 500__ $$aIncludes author index.
001482573 5050_ $$aTemporal logics -- Data structures and heuristics -- Verification of programs and hardware -- Tool papers.
001482573 506__ $$aAccess limited to authorized users.
001482573 520__ $$aThis book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.
001482573 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 23, 2023).
001482573 650_0 $$aAutomatic theorem proving$$vCongresses.
001482573 650_6 $$aThéorèmes$$xDémonstration automatique$$vCongrès.
001482573 655_0 $$aElectronic books.
001482573 655_7 $$aproceedings (reports)$$2aat
001482573 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001482573 655_7 $$aConference papers and proceedings.$$2lcgft
001482573 655_7 $$aActes de congrès.$$2rvmgf
001482573 7001_ $$aAndré, Etienne,$$eeditor.
001482573 7001_ $$aSun, Jun$$c(Professor of Information Systems),$$eeditor.
001482573 830_0 $$aLecture notes in computer science ;$$v14215.$$x1611-3349
001482573 852__ $$bebk
001482573 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-45329-8$$zOnline Access$$91397441.1
001482573 909CO $$ooai:library.usi.edu:1482573$$pGLOBAL_SET
001482573 980__ $$aBIB
001482573 980__ $$aEBOOK
001482573 982__ $$aEbook
001482573 983__ $$aOnline
001482573 994__ $$a92$$bISE