🚀 go-pugleaf

Re: Looking for paper about quantification
By: sjv on Thu, 03 Sep 1992 09:13

Re: wanted: books/paper on formal methods
By: Rick & on Wed, 02 Sep 1992 17:22

Looking for paper about quantification
By: Alastair Reid on Wed, 02 Sep 1992 12:49

Re: Questions on modules and state in BSI VDM
By: Anthony Shipman on Mon, 31 Aug 1992 10:07

Re: Linear and Branching Time Temporal Logic
By: victor yodaiken on Sun, 30 Aug 1992 21:02

SDL 92
By: Antonio Ruiz Delgado on Fri, 28 Aug 1992 12:26

Re: Questions on modules and state in BSI VDM
By: Cliff B Jones on Fri, 28 Aug 1992 14:45

Summary of SDL tools
By: Levelt W. on Thu, 27 Aug 1992 10:37

Postdoc vacancy for protocol verification in IC-design
By: T. Kostelijk 43897 on Thu, 27 Aug 1992 08:43

inconsistency with lambda in VDM
By: Anthony Shipman on Thu, 27 Aug 1992 07:35

modules in VDM
By: Anthony Shipman on Thu, 27 Aug 1992 07:23

Re: Larch for SML
By: Don Sannella on Wed, 26 Aug 1992 17:02

Re: Larch for SML
By: Amy Moormann Zaremski on Wed, 26 Aug 1992 16:35

ZED Specification Environment (Product Announcement)
By: Kuram T Narayana on Wed, 26 Aug 1992 13:41

Request for ISO IS9074/8807 & TR10167
By: Lim Chee Yong on Wed, 26 Aug 1992 03:21

Re: Linear and Branching Time Temporal Logic
By: Brendan Mahony on Mon, 24 Aug 1992 00:06

Specification and Abstraction in concrete life !
By: Francois Charlot on Tue, 15 Sep 1992 09:05

CAV 93: CALL FOR PAPERS
By: Mamalaki Maria on Tue, 15 Sep 1992 06:31

Needed a 3A 9.5V laptop adapter
By: neil schier on Sat, 12 Sep 1992 20:18

Re: Looking for paper about quantification
By: Oliver Schoett on Fri, 11 Sep 1992 18:41

z
By: George Row on Thu, 10 Sep 1992 08:54

Reminder: CFP deadline for FME'93 approaching
By: Nico Plat on Fri, 11 Sep 1992 10:24

Re: Looking for linear temporal logic verifiers gnerating counterexamples
By: Shinji Kono on Sun, 06 Sep 1992 14:43

Looking for linear temporal logic verifiers gnerating counterexamples
By: Larry Augustin on Sat, 05 Sep 1992 00:31

Re: Linear and Branching Time Temporal Logic
By: Lamport on Fri, 21 Aug 1992 23:05

Questions on modules and state in BSI VDM
By: Anthony Shipman on Fri, 21 Aug 1992 13:06

Linear and Branching Time Temporal Logic
By: Armin Zundel on Fri, 21 Aug 1992 12:40

Where is Verilog ?
By: Bruno Berstel on Thu, 20 Aug 1992 18:44

summary of call for parallel progr. environments and specification tool
By: Eric ten Cate on Thu, 20 Aug 1992 07:13

Genesis Z-Tool
By: Tony Cant on Thu, 20 Aug 1992 17:04

Survey: Formal Methods in Education
By: Stephen Mark Austin on Mon, 17 Aug 1992 13:43

Survey: Formal Methods in Industry
By: Stephen Mark Austin on Mon, 17 Aug 1992 13:42

Verification Methodology For LOTOS Specification
By: Alfred Yau on Mon, 17 Aug 1992 09:44

Sigplan article
By: Alwyn Goodloe on Sat, 15 Aug 1992 02:24

For Steve Austin - Sorry for the others
By: Francois Charlot on Fri, 14 Aug 1992 17:24

CFP GI/ITG-Workshop (German)
By: Thomas Kropf on Fri, 14 Aug 1992 07:15

Re: Survey: Formal Methods in Education
By: Francois Charlot on Thu, 13 Aug 1992 08:03

Re: parallel programming and specification tools
By: Jeroen van de Lagemaat on Thu, 13 Aug 1992 08:17

Re: parallel programming and specification tools
By: Jeroen van de Lagemaat on Wed, 12 Aug 1992 12:51

Re: parallel programming and specification tools
By: 24103-kilov on Wed, 12 Aug 1992 15:09

Formal Specifications in CCS
By: David Sewry on Wed, 12 Aug 1992 13:30

Re: specification for nonfunctional requirments ?
By: Cliff Jones on Thu, 12 Apr 1990 13:21

Looking for users of Z and VDM
By: Simon Raybould on Thu, 12 Apr 1990 16:02

Re: specification for nonfunctional requirments ?
By: Reino de Boer on Tue, 10 Apr 1990 07:48

Re: Journal: Formal Aspects of Computing (ToC)
By: Cliff Jones on Thu, 22 Mar 1990 15:37

Application Specific Languages
By: Iain Tulloch on Wed, 21 Mar 1990 11:56

Re: Journal: Formal Aspects of Computing
By: Brian L. Kahn on Wed, 21 Mar 1990 16:05

Journal: Formal Aspects of Computing
By: Cliff Jones on Fri, 16 Mar 1990 11:01

CALL FOR PAPER
By: Abbas Birjandi on Fri, 16 Mar 1990 15:04

Call For Papers
By: hoebel on Fri, 16 Mar 1990 12:54

Re: VDM'90 Conference
By: Cliff Jones on Thu, 15 Mar 1990 10:53

Re: recommended texts
By: Cliff Jones on Thu, 15 Mar 1990 10:45

formal spec lang classification
By: Il Moon on Thu, 15 Mar 1990 21:19

specification languages in OSI
By: John Gottschalk on Wed, 15 Apr 1992 06:47

Re: formal methods in US
By: Andrew Walduck on Tue, 14 Apr 1992 05:09

Re: formal methods in US
By: Jon Jacky on Mon, 13 Apr 1992 17:35

Re: Archieve site of comp.specification
By: Christian S. Collberg on Sun, 12 Apr 1992 16:52

Re: formal methods in US
By: Gavan Tredoux on Sat, 11 Apr 1992 06:05

Re: formal methods in US
By: Eric S Johansson on Fri, 10 Apr 1992 06:48

Requirements Engineering 1993
By: Anthony Finkelstein on Fri, 10 Apr 1992 08:32

test
By: Mehmet M. Kayaalp MD on Thu, 09 Apr 1992 15:29

test
By: Mehmet M. Kayaalp MD on Thu, 09 Apr 1992 15:26

Archieve site of comp.specification
By: Mehmet M. Kayaalp MD on Thu, 09 Apr 1992 15:21

test
By: Mehmet M. Kayaalp MD on Thu, 09 Apr 1992 15:25

Formal description of Unix interface and internals
By: Stavros Macrakis on Wed, 08 Apr 1992 13:55

Re: What is the situation of FM outside Europe?
By: Stavros Macrakis on Wed, 08 Apr 1992 13:46

Re: Seeking verification condition generators
By: Jon Jacky on Tue, 07 Apr 1992 16:07

Seeking verification condition generators
By: David Sims on Mon, 06 Apr 1992 14:42

FAQ for this group ?
By: Bruno Berstel on Thu, 30 Jul 1992 19:18

Bibliographic Refs for introductory texts for Z, VDM, Lotos
By: Ira Baxter on Tue, 28 Jul 1992 04:40

Re: Looking for specs of phone system
By: Narendra Ravi on Mon, 27 Jul 1992 17:36

Abstraction and Specification
By: Francois Charlot on Mon, 27 Jul 1992 15:47

Re: Looking for specs of phone system
By: Anthony Lee on Mon, 27 Jul 1992 00:29

Re: SPIN tool enquiry
By: Lester Buck on Fri, 24 Jul 1992 03:00

Re: Looking for specs of phone system
By: Lester Buck on Fri, 24 Jul 1992 02:51

CFP: OOPSLA Workshop on serious oo reasoning in information modeling
By: 24103-kilov on Thu, 23 Jul 1992 22:11

Re: Looking for SAA - Spec.
By: J. Zhang on Thu, 23 Jul 1992 15:48

ISO (Intl Stds Org) Documents
By: Allen M. Theobald on Thu, 23 Jul 1992 00:42

ASN.1
By: Allen M. Theobald on Wed, 22 Jul 1992 22:41

LOTOS tool survey
By: Arturo Azcorra on Wed, 22 Jul 1992 16:17

LOTOS Tool Survey
By: Arturo Azcorra on Wed, 22 Jul 1992 16:13

SpecBox: a formal methods tool for VDM
By: Peter Froome on Wed, 22 Jul 1992 08:15

SPIN tool enquiry
By: Lim Chee Yong on Tue, 21 Jul 1992 05:54

Re: parallel programming and specification tools
By: Martin Weigele on Tue, 11 Aug 1992 06:58

parallel programming and specification tools
By: Eric ten Cate on Tue, 11 Aug 1992 07:22

Survey: Formal Methods in Industry
By: Stephen Mark Austin on Mon, 10 Aug 1992 16:22

Survey: Formal Methods in Education
By: Stephen Mark Austin on Mon, 10 Aug 1992 16:21

VDM course
By: Ian Cottam on Mon, 10 Aug 1992 15:16

gem font spec?
By: gord armstrong on Mon, 10 Aug 1992 23:17

Email Address of Antti Valmari?
By: Shing Chi Cheung on Thu, 06 Aug 1992 19:13

Survey: Formal Methods in Industry
By: sma on Wed, 05 Aug 1992 08:58

Survey: Formal Methods in Education
By: sma on Wed, 05 Aug 1992 08:57

Software crisis and specification
By: Andrew Harry on Wed, 05 Aug 1992 13:39

Re: Predicates, bubbles & arrows (Re: Current OOA/OOD and formal methods)
By: Lucy Chubb on Wed, 05 Aug 1992 01:57

Chosing A Specification HDL
By: John Cooley on Tue, 04 Aug 1992 14:37

email addr for S. Graf or B. Steffen?
By: Shing Chi Cheung on Mon, 03 Aug 1992 15:40

Refernces for VDM, Z, Lotos
By: Ira Baxter on Sun, 02 Aug 1992 17:00

CAV 1993 CALL FOR PAPERS
By: Mamalaki Maria on Wed, 04 Nov 1992 10:35

Semantic definition style
By: song on Tue, 03 Nov 1992 14:46

Re: Discrete Maths Teaching
By: Jean-Pierre JACQUOT on Tue, 03 Nov 1992 17:30

Announcing ZED Distribution
By: Kuram T Narayana on Tue, 03 Nov 1992 14:52

CfP: AMAST'93 (update, latex)
By: Giuseppe Scollo on Mon, 02 Nov 1992 23:53

CfP: AMAST'93 (update, plain text)
By: Giuseppe Scollo on Mon, 02 Nov 1992 21:05

looking for computer-readable specifications
By: Lester Buck on Mon, 02 Nov 1992 07:48

Help on network management specification
By: Wei Min on Mon, 02 Nov 1992 22:27

Help ! Survey of Models for Communication Systems
By: Clemens Zimmermann on Mon, 02 Nov 1992 11:52

Re: CASE and formal methods
By: Mark Heinrick on Fri, 30 Oct 1992 05:20

Computer Security Foundations Workshop VI, call for papers
By: Catherine A. Meadows,5590,, on Thu, 29 Oct 1992 15:25

CASE and formal methods
By: Robert France on Wed, 28 Oct 1992 22:45

Re: Abstraction and Specification
By: Eric Tencate on Wed, 28 Oct 1992 09:25

Re: HOW-TOs for algebraic specification
By: Michael Mehlich on Wed, 28 Oct 1992 07:46

Re: Info for representing/modelling methodologies.
By: Jeremy Wilson on Tue, 27 Oct 1992 18:12

Abstraction and Specification
By: Francois Charlot on Tue, 27 Oct 1992 17:39

reference wanted: Plotkin, Lampson
By: Malte Grosse on Tue, 27 Oct 1992 14:25

Z specs
By: Joan Krone on Tue, 27 Oct 1992 04:28

Discrete Maths Teaching
By: Chris M P Reade on Tue, 27 Oct 1992 12:49

Help ? Review on Formal Methods
By: Clemens Zimmermann on Tue, 27 Oct 1992 08:56

HOW-TOs for algebraic specification
By: Lutz Prechelt on Tue, 27 Oct 1992 08:30