( en | de | ru )

 

Disambiguation of "Shankar, Natarajan"

Author of the publication

copydeleteadd this publication to your clipboard
Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community.

, , , and . FMCAD, page 1. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kasyap Natarajan

Paruthiure Natarajan

Natarajan Thiagarajan

Arupon Natarajan

Shankar Vembu

 

Other publications of authors with the same name

Unraveling a Card Trick., and . Essays in Memory of Amir Pnueli, volume 6200 of Lecture Notes in Computer Science, page 195-201. Springer, (2010)PVS: Combining Specification, Proof Checking, and Model Checking.. FMCAD, volume 1166 of Lecture Notes in Computer Science, page 257-264. Springer, (1996)Verification by Abstraction.. 10th Anniversary Colloquium of UNU/IIST, volume 2757 of Lecture Notes in Computer Science, page 367-380. Springer, (2002)An Integration of Model Checking with Automated Proof Checking., , and . CAV, volume 939 of Lecture Notes in Computer Science, page 84-97. Springer, (1995)Code Generation Using a Formal Model of Reference Counting., and . NFM, volume 9690 of Lecture Notes in Computer Science, page 150-165. Springer, (2016)PVS: A Prototype Verification System., , and . CADE, volume 607 of Lecture Notes in Computer Science, page 748-752. Springer, (1992)Proof Search in the Intuitionistic Sequent Calculus.. CADE, volume 607 of Lecture Notes in Computer Science, page 522-536. Springer, (1992)A Tutorial on Using PVS for Hardware Verification., , , and . TPCD, volume 901 of Lecture Notes in Computer Science, page 258-279. Springer, (1994)Using Decision Procedures with a Higher-Order Logic.. TPHOLs, volume 2152 of Lecture Notes in Computer Science, page 5-26. Springer, (2001)Static Analysis for Safe Destructive Updates in a Functional Language.. LOPSTR, volume 2372 of Lecture Notes in Computer Science, page 1-24. Springer, (2001)