Paper Info
Title
Formal Methods For Developing High Assurance Computer Systems: Working Group Report
Abstract
The Second International Workshop on Industrial- Strength Formal Techniques (WIFT'98) was held in October, 1998, in Boca Raton, Florida. At the workshop, four different discussion groups investigated various topics. This report summarizes the discussions conducted on the topic: Formal Methods for Developing High Assurance Systems.
Year
DOI
Venue
1998
10.1109/WIFT.1998.766298
WIFT
Keywords
Field
DocType
working group report,high assurance systems,second international workshop,formal methods,high assurance computer systems,different discussion group,various topic,boca raton,strength formal techniques,software development,telephony,formal verification,hardware,control system,cellular networks,software engineering,satellite communication,formal specification,formal method,computer science,control systems,satisfiability,working group
Software engineering,Computer science,Engineering management,Formal specification,Software system,Software,Software development process,Formal methods,Software development,Formal verification,Early adopter
Conference
ISBN
Citations 
PageRank 
0-7695-0081-1
7
1.03
References 
Authors
10
2
Name
Order
Citations
PageRank
Mats P. E. Heimdahl156564.80
Constance L. Heitmeyer2898151.71