%0 Unpublished work %T MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design %+ Indian Institute of Technology Delhi (IIT Delhi) %+ Modeling and Verification of Distributed Algorithms and Systems (VERIDIS) %+ TELECOM Nancy %+ Proof-oriented development of computer-based systems (MOSEL) %+ University of California (UC) %+ Institute of Software Chinese Academy of Sciences [Beijing] %A S, Arunkumar %A Méry, Dominique %A Saha, Indranil %A Zhang, Lijun %@ 978-1-4503-9127-6 %B MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design %C Virtual, China %I ACM %8 2021-11-20 %D 2021 %R 10.1145/3487212 %Z Computer Science [cs]/Software Engineering [cs.SE] %Z Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] %Z Computer Science [cs]/Logic in Computer Science [cs.LO] %Z Computer Science [cs]/Data Structures and Algorithms [cs.DS] %Z Computer Science [cs]/Hardware Architecture [cs.AR]Proceedings %X MEMOCODE brings together researchers and practitioners interested in formal methods for system design and development to exchange research results and lessons learned. The conference focuses on the foundations and applications of formal methods in the development of hardware, firmware, middleware, and application software for systems ranging from single embedded devices to highly networked cyber-physical systems and the Internet of Things. %G English %L hal-03529572 %U https://inria.hal.science/hal-03529572 %~ CNRS %~ INRIA %~ INRIA_TEST %~ INRIA-LORRAINE %~ LORIA2 %~ INRIA-NANCY-GRAND-EST %~ TESTALAIN1 %~ UNIV-LORRAINE %~ INRIA2 %~ LORIA %~ LORIA-FM %~ INRIA-INDE %~ INRIA-ETATSUNIS %~ INRIA-ALLEMAGNE