Akash Lal – författare & böcker

Del 13800 - Lecture Notes in Computer Science

Verified Software. Theories, Tools and Experiments.

14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers

Häftad, Engelska, 2023

554 kr

Skickas inom 10-15 vardagar

The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected

AvAkash Lal,Stefano Tonetta

Engelska, 2023

653 kr

Skickas inom 5-8 vardagar

Del 13965 - Lecture Notes in Computer Science

Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

AvConstantin Enea,Akash Lal

Häftad, Engelska, 2023

445 kr

Skickas inom 10-15 vardagar

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

AvConstantin Enea,Akash Lal

Engelska, 2023

631 kr

Skickas inom 5-8 vardagar

Del 13964 - Lecture Notes in Computer Science

Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I

AvConstantin Enea,Akash Lal

Häftad, Engelska, 2023

445 kr

Skickas inom 10-15 vardagar

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions.

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

AvConstantin Enea,Akash Lal

Engelska, 2023

631 kr

Skickas inom 5-8 vardagar

Del 13966 - Lecture Notes in Computer Science

Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III

AvConstantin Enea,Akash Lal

Häftad, Engelska, 2023

445 kr

Skickas inom 10-15 vardagar

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions.

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

AvConstantin Enea,Akash Lal

Engelska, 2023

631 kr

Skickas inom 5-8 vardagar

Verification, Model Checking, and Abstract Interpretation

16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

AvDeepak D'Souza,Akash Lalm. fl.

Häftad, Engelska, 2015

554 kr

Skickas inom 10-15 vardagar

The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.

Företag, bibliotek eller offentlig verksamhet?

Akash Lal – författare

Verified Software. Theories, Tools and Experiments.

Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected

Computer Aided Verification

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Computer Aided Verification

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Computer Aided Verification

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Verification, Model Checking, and Abstract Interpretation

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration