000			04100naaaa2200733uu 4500
001			https://directory.doabooks.org/handle/20.500.12854/67926
020			_a978-3-030-72016-2
020			_a9783030720162
024	7		_a10.1007/978-3-030-72016-2 _cdoi
041	0		_aEnglish
042			_adc
072		7	_aUY _2bicssc
072		7	_aUT _2bicssc
072		7	_aUM _2bicssc
072		7	_aUYQ _2bicssc
100	1		_aGroote, Jan Friso _4edt _91283261
700	1		_aLarsen, Kim Guldstrand _4edt _9697266
700	1		_aGroote, Jan Friso _4oth _91283261
700	1		_aLarsen, Kim Guldstrand _4oth _9697266
245	1	0	_aTools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
260			_bSpringer Nature _c2021
300			_a1 electronic resource (471 p.)
506	0		_aOpen Access _2star _fUnrestricted online access
520			_aThis open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
540			_aCreative Commons _fhttps://creativecommons.org/licenses/by/4.0/ _2cc _4https://creativecommons.org/licenses/by/4.0/
546			_aEnglish
650		7	_aComputer science _2bicssc _957974
650		7	_aComputer networking & communications _2bicssc _91008012
650		7	_aComputer programming / software development _2bicssc _9921274
650		7	_aArtificial intelligence _2bicssc _92458
653			_aTheory of Computation
653			_aComputer Systems Organization and Communication Networks
653			_aControl Structures and Microprogramming
653			_aLogic in AI
653			_aInformation Systems and Communication Service
653			_aComputer Engineering and Networks
653			_aarchitecture verification and validation
653			_aartificial intelligence
653			_aautomata theory
653			_acomputer networks
653			_aembedded systems
653			_aformal languages
653			_aformal logic
653			_alinguistics
653			_amathematics
653			_amodel checking
653			_amodel-checking
653			_aSAT and SMT solving
653			_asignal processing
653			_asoftware and hardware verification
653			_asoftware architecture
653			_asoftware engineering
653			_aspecification and verification techniques
653			_astatic and dynamic program analysis
653			_asystem construction and transforamtion techniques
653			_atheorem-proving
653			_aComputer science
653			_aMathematical theory of computation
653			_aComputer networking & communications
653			_aAlgorithms & data structures
856	4	0	_awww.oapen.org _uhttps://library.oapen.org/bitstream/20.500.12657/48220/1/9783030720162.pdf _70 _zDOAB: download the publication
856	4	0	_awww.oapen.org _uhttps://library.oapen.org/bitstream/20.500.12657/48220/1/9783030720162.pdf _70 _zDOAB: download the publication
856	4	0	_awww.oapen.org _uhttps://directory.doabooks.org/handle/20.500.12854/67926 _70 _zDOAB: description of the publication
999			_c3000617 _d3000617