[Search for users] [Overall Top Noters] [List of all Conferences]

Conference cookie::formal_methods

Title:Formal Methods for Software Development
Notice:Please introduce yourself in note 2
Created:Thu Jul 09 1992
Last Modified:Thu Jun 08 1995
Last Successful Update:Fri Jun 06 1997
Number of topics:17
Total number of notes:46
Click here for list of top noters for this conference
1.01COOKIE::WALLACEThu Jul 09 1992Purpose of Conference
2.09COOKIE::WALLACEFri Jul 10 1992Introductions
3.01COOKIE::WALLACEThu Jul 09 1992VDM notation
4.0COOKIE::WALLACEThu Jul 09 1992Z notation
5.0COOKIE::WALLACEFri Jul 10 1992HOL notation
6.0COOKIE::WALLACEThu Jul 09 1992LARCH Notation
7.0COOKIE::WALLACEThu Jul 09 1992Boyer-Moore Theorem Prover (NQTHM)
8.01COOKIE::WALLACEThu Jul 09 1992High Order Logic Theorem Prover
9.02CDROM::HENDRICKSTue Aug 11 1992References?
10.03COOKIE::WALLACETue Aug 25 1992ASCII equivalents for Z symbols
11.0COOKIE::WALLACETue Aug 25 1992Temporal Logic of Actions (TLA)
12.010DSM::GOULDThu Oct 15 199291 problem?
13.0COOKIE::WALLACEFri Nov 06 1992A conference on formal specificaiton
14.0MOVIES::HANCOCKWed Aug 25 1993Report available
15.01GBIMon Feb 07 1994Software Engineering Institute
16.0STAR::PRAETORIUSTue Jun 28 1994Knowledge based software process automation at Kestrel
17.01IRNBRU::MENNIEMon Jan 16 1995Larch/C++