Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Reflecting BDDs in Coq

200027 citationsBook Chapter

Authors

Kumar Neeraj Verma · Institut national de recherche en informatique et en automatique

Jean Goubault-Larrecq · Institut national de recherche en informatique et en automatique

Sanjiva Prasad · Indian Institute of Technology Delhi

S. Arun-Kumar · Indian Institute of Technology Delhi

Topics & Keywords

Formal Methods in Verification Logic, programming, and type systems Software Testing and Debugging Techniques

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/3-540-44464-5_13

Field-Weighted Citation Impact: 3.14

Reflecting BDDs in Coq | Researchclopedia