Mandayam Srivas

Available identifiers

zbMath Open srivas.mandayam-kMaRDI QIDQ1095644

List of research outcomes

Publication	Date of Publication	Type
Negation with logical variables in conditional rewriting	2022-12-09	Paper
Concurrent Program Verification with Invariant-Guided Underapproximation	2022-08-12	Paper
Compositional Safety Refutation Techniques	2022-08-12	Paper
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system	2021-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4817532	2004-09-24	Paper
Formal verification of a complex pipelined processor	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q2754112	2001-11-11	Paper
Inference rules and proof procedures for inequations	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3817658	1988-01-01	Paper
Computability and implementability issues in abstract data types	1988-01-01	Paper
Automatic inductive theorem proving using Prolog	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3774998	1987-01-01	Paper
Function definitions in term rewriting and applicative programming	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3732983	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3685174	1985-01-01	Paper

Research outcomes over time

This page was built for person: Mandayam Srivas