[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
Number with bodies:0
a * after the topic number in the table indicates the body of the base post is in the cache and a + after the topic number indicates at least one replies body is in the cache (*+ means both are true)

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::HANCOCKThu Aug 26 1993Report available
15.01GBITue Feb 08 1994Software Engineering Institute
16.0STAR::PRAETORIUSWed Jun 29 1994Knowledge based software process automation at Kestrel
17.01IRNBRU::MENNIEMon Jan 16 1995Larch/C++