Xref: utzoo comp.realtime:1239 comp.specification:304 Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!uupsi!njin!rutgers!caip.rutgers.edu!kprasad From: kprasad@caip.rutgers.edu (K. Venkatesh Prasad) Newsgroups: comp.realtime,comp.specification Subject: formal methods for verifying/specifying software Keywords: formal methods, realtime verification Message-ID: Date: 5 Apr 91 21:43:24 GMT Followup-To: comp.realtime Organization: Rutgers Univ., New Brunswick, N.J. Lines: 5 Are there companies in the United States that are using formal methods for specifying and verifying software? -- K. Venkatesh Prasad Machine Vision Group