Tools 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

This 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 Softw...

Full description

Saved in:
Bibliographic Details
Other Authors: Groote, Jan Friso (Editor), Larsen, Kim Guldstrand (Editor)
Format: Electronic Book Chapter
Language:English
Published: Springer Nature 2021
Series:Lecture Notes in Computer Science; Theoretical Computer Science and General Issues 12651
Subjects:
Online Access:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000naaaa2200000uu 4500
001 oapen_2024_20_500_12657_48220
005 20210420
003 oapen
006 m o d
007 cr|mn|---annan
008 20210420s2021 xx |||||o ||| 0|eng d
020 |a 978-3-030-72016-2 
020 |a 9783030720162 
040 |a oapen  |c oapen 
024 7 |a 10.1007/978-3-030-72016-2  |c doi 
041 0 |a eng 
042 |a dc 
072 7 |a UY  |2 bicssc 
072 7 |a UT  |2 bicssc 
072 7 |a UM  |2 bicssc 
072 7 |a UYQ  |2 bicssc 
100 1 |a Groote, Jan Friso  |4 edt 
700 1 |a Larsen, Kim Guldstrand  |4 edt 
700 1 |a Groote, Jan Friso  |4 oth 
700 1 |a Larsen, Kim Guldstrand  |4 oth 
245 1 0 |a Tools and Algorithms for the Construction and Analysis of Systems  |b 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 |b Springer Nature  |c 2021 
300 |a 1 electronic resource (471 p.) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science; Theoretical Computer Science and General Issues  |v 12651 
506 0 |a Open Access  |2 star  |f Unrestricted online access 
520 |a This 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 |a Creative Commons  |f https://creativecommons.org/licenses/by/4.0/  |2 cc  |4 https://creativecommons.org/licenses/by/4.0/ 
546 |a English 
650 7 |a Computer science  |2 bicssc 
650 7 |a Computer networking & communications  |2 bicssc 
650 7 |a Computer programming / software development  |2 bicssc 
650 7 |a Artificial intelligence  |2 bicssc 
653 |a Theory of Computation 
653 |a Computer Systems Organization and Communication Networks 
653 |a Control Structures and Microprogramming 
653 |a Logic in AI 
653 |a Information Systems and Communication Service 
653 |a Computer Engineering and Networks 
653 |a architecture verification and validation 
653 |a artificial intelligence 
653 |a automata theory 
653 |a computer networks 
653 |a embedded systems 
653 |a formal languages 
653 |a formal logic 
653 |a linguistics 
653 |a mathematics 
653 |a model checking 
653 |a model-checking 
653 |a SAT and SMT solving 
653 |a signal processing 
653 |a software and hardware verification 
653 |a software architecture 
653 |a software engineering 
653 |a specification and verification techniques 
653 |a static and dynamic program analysis 
653 |a system construction and transforamtion techniques 
653 |a theorem-proving 
653 |a Computer science 
653 |a Mathematical theory of computation 
653 |a Computer networking & communications 
653 |a Algorithms & data structures 
856 4 0 |a www.oapen.org  |u https://library.oapen.org/bitstream/id/2214b45e-401c-40bc-84e0-c4fc376a11d1/9783030720162.pdf  |7 0  |z OAPEN Library: download the publication 
856 4 0 |a www.oapen.org  |u https://library.oapen.org/handle/20.500.12657/48220  |7 0  |z OAPEN Library: description of the publication