Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

• Weitere Verfasser: Silva, Alexandra (Herausgegeben von), Leino, K. Rustan M. (Herausgegeben von)
• Format: Elektronisch Buchkapitel
• Sprache: Englisch
• Veröffentlicht: Springer Nature 2021
• Schriftenreihe: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues 12760
• Schlagworte: Software Engineering; Mathematical theory of computation; Artificial intelligence; Computer programming / software development; Computer modelling & simulation; architecture verification; artificial intelligence; computer programming; distributed computer systems; distributed systems; embedded systems; formal logic; formal methods; formal verifications; model checker; model checking; signal processing; software architecture; software design; software engineering; software quality
• Online-Zugang: OAPEN Library: download the publication; OAPEN Library: description of the publication