1 option
Verification, Model Checking, and Abstract Interpretation : 27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings / edited by Yu-Fang Chen, Thomas Jensen, Ondřej Lengál.
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View online- Format:
- Book
- Author/Creator:
- Chen, Yu-Fang.
- Series:
- Lecture Notes in Computer Science, 1611-3349 ; 16417
- Language:
- English
- Subjects (All):
- Computer science.
- Computer science--Mathematics.
- Logic programming.
- Computers, Special purpose.
- Software engineering.
- Microprogramming.
- Theory of Computation.
- Mathematics of Computing.
- Logic in AI.
- Special Purpose and Application-Based Systems.
- Software Engineering.
- Control Structures and Microprogramming.
- Local Subjects:
- Theory of Computation.
- Mathematics of Computing.
- Logic in AI.
- Special Purpose and Application-Based Systems.
- Software Engineering.
- Control Structures and Microprogramming.
- Physical Description:
- 1 online resource (724 pages)
- Edition:
- 1st ed. 2026.
- Place of Publication:
- Cham : Springer Nature Switzerland : Imprint: Springer, 2026.
- Summary:
- This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026. The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 3-032-15700-5
- 9783032157003
- OCLC:
- 1569121841
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.