“Formal methods are mathematical techniques for developing computer-based software and hardware...Formal methods
“Formal Methods Companies Please edit this page with information on formal methods companies...Companies
“This document contains some pointers to publications concerning formal methods, especially those...Publications
“Please contact Jonathan Bowen if you know of relevant online information not included here. This...Safety-critical systems
“The following is an eclectic list of people involved with formal methods who have a personal...Who's who
“Please feel free to add formal methods projects with hyperlinks to this page. Alternatively...Projects
Pages in category "Virtual Library"
The following 25 pages are in this category, out of 25 total.