Automated Technology for Verification and Analysis
portes grátis
Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
Sun, Jun; Andre, Etienne
Springer International Publishing AG
10/2023
446
Mole
Inglês
9783031453281
15 a 20 dias
Descrição não disponível.
Temporal logics.- Data structures and heuristics.- Verification of programs and hardware.- Tool papers.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Automated Technology;Verification and Analysis;Program analysis;Formalisms for modeling hardware, software and embedded systems;Security;Automated tool support;Formal methods;Program analysis;Software verification;Embedded systems;Infinite-state systems;Parametric systems;Real-time systems;Model checking;Cybersecurity;Runtime verification;Applied verification;Verification of hardware systems;Automated verification techniques;Timed automata
Temporal logics.- Data structures and heuristics.- Verification of programs and hardware.- Tool papers.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Automated Technology;Verification and Analysis;Program analysis;Formalisms for modeling hardware, software and embedded systems;Security;Automated tool support;Formal methods;Program analysis;Software verification;Embedded systems;Infinite-state systems;Parametric systems;Real-time systems;Model checking;Cybersecurity;Runtime verification;Applied verification;Verification of hardware systems;Automated verification techniques;Timed automata
