NASA Formal Methods

NASA Formal Methods

16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Gopinath, Divya; Benz, Nathaniel; Shi, Nija

Springer International Publishing AG

07/2024

418

Mole

9783031606977

Pré-lançamento - envio 15 a 20 dias após a sua edição

Descrição não disponível.

Índice não disponível.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

Formal methods;Formal methods;Formal specification;Program analysis;Reactive synthesis;Program synthesis;SMT solvers;SAT solvers;Testing;Runtime assurance;Static analysis;Abstract interpretation;Formal methods for control systems;Formal methods for robotics;Formal methods for autonomous vehicles;Formal methods for machine learning;Cyber-physical systems;Model checking