Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818670053

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A formal approach to reactive systems software: a telecommunications application in ESTEREL

Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques ◽

10.1109/wift.1995.515485 ◽

2002 ◽

Cited By ~ 8

Author(s):

L.J. Jagadeesan ◽

C. Puchol ◽

J.E. Von Olnhausen

Keyword(s):

Reactive Systems ◽

Formal Approach ◽

Systems Software

Download Full-text

Experiences in applying formal methods to the analysis of software and system requirements

Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques ◽

10.1109/wift.1995.515477 ◽

2002 ◽

Cited By ~ 7

Author(s):

D. Hamilton ◽

R. Covington ◽

J. Kelly

Keyword(s):

Formal Methods ◽

System Requirements

Download Full-text

Experiences with specification and verification in LOTOS: a report on two case studies

Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques ◽

10.1109/wift.1995.515487 ◽

2002 ◽

Cited By ~ 3

Author(s):

C. Kirkwood ◽

M. Thomas

Keyword(s):

Case Studies ◽

Specification And Verification

Download Full-text

A C++ library for implementing specifications

Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques ◽

10.1109/wift.1995.515479 ◽

2002 ◽

Cited By ~ 2

Author(s):

C. Minkowitz ◽

D. Rann ◽

J.H. Turner

Download Full-text

Timing analysis of industrial real-time systems

Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques ◽

10.1109/wift.1995.515482 ◽

2002 ◽

Cited By ~ 10

Author(s):

S. Campos ◽

E. Clarke ◽

W. Marrero ◽

M. Minea

Keyword(s):

Real Time ◽

Timing Analysis ◽

Real Time Systems ◽

Time Systems

Download Full-text

Inhibiting factors, market structure and the industrial uptake of formal methods

Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques ◽

10.1109/wift.1995.515478 ◽

2002 ◽

Cited By ~ 2

Author(s):

G. Cleland ◽

D. MacKenzie

Keyword(s):

Market Structure ◽

Formal Methods ◽

Inhibiting Factors

Download Full-text

Formal validation of virtual finite state machines

Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques ◽

10.1109/wift.1995.515484 ◽

2002 ◽

Cited By ~ 10

Author(s):

A.R. Flora-Holmquist ◽

M.G. Staskauskas

Keyword(s):

Finite State Machines ◽

State Machines ◽

Formal Validation ◽

Finite State

Download Full-text

Automated modular specification and verification of real-time reactive systems

Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques ◽

10.1109/wift.1995.515483 ◽

2002 ◽

Cited By ~ 2

Author(s):

J.S. Ostroff

Keyword(s):

Real Time ◽

Reactive Systems ◽

Specification And Verification

Download Full-text

Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods

Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques ◽

10.1109/wift.1995.515475 ◽

2002 ◽

Cited By ~ 32

Author(s):

S.P. Miller ◽

M. Srivas

Keyword(s):

Formal Verification ◽

Formal Methods ◽

Industrial Use

Download Full-text

Automatic verification of industrial designs

Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques ◽

10.1109/wift.1995.515481 ◽

2002 ◽

Cited By ~ 8

Author(s):

V. Hartonas-Garmhausen ◽

T. Kurfess ◽

E.M. Clarke ◽

D. Long

Keyword(s):

Automatic Verification

Download Full-text

Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification TechniquesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A formal approach to reactive systems software: a telecommunications application in ESTEREL

Experiences in applying formal methods to the analysis of software and system requirements

Experiences with specification and verification in LOTOS: a report on two case studies

A C++ library for implementing specifications

Timing analysis of industrial real-time systems

Inhibiting factors, market structure and the industrial uptake of formal methods

Formal validation of virtual finite state machines

Automated modular specification and verification of real-time reactive systems

Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods

Automatic verification of industrial designs

Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
Latest Publications