Saraswati Kalvala

Publication Activity (10 Years)

Years Active: 1992-2003
Publications (10 Years): 0

Publications

Berndt Farwer, Saraswati Kalvala, Kundan Misra
Controller Synthesis for Object Petri Nets. ICFEM (2003)
Saraswati Kalvala
Annotations in Formal Specifications and Proofs. Formal Methods Syst. Des. 5 (1/2) (1994)
Jing Pan, Karl N. Levitt, Myla Archer, Saraswati Kalvala
Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit. TPHOLs (1992)
Saraswati Kalvala, Myla Archer, Karl N. Levitt
Implementation and Use of Annotations in HOL. TPHOLs (1992)