Found 515 results for "Formal methods (Computer science)"
FM 2005
by John Fitzgerald, Andrzej Tarlecki
It has been recognised for a while that formal specifications and models can bring much to software testing [16], [10].
Formal methods for trustworthy computer systems (FM89)
by Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.), Workshop on the Assessment of Formal Methods for Trustworthy Computer
Formal methods for the design of real-time systems
A timed automaton is a finite automaton augmented with a finite set of (real-valued) clocks.
Vdm'87: Vdm-A Formal Method at Work
by D. Bjorner
In this talk I want to trace the history of VDM by highlighting the important ideas that contributed to its present form...
Formal methods for industrial applications
by Jean-Raymond Abrial, E. Börger
This book wants to contribute to a realistic comparison, from the point of view of practicality for applications under i...
Industrial applications of formal methods to model, design, ...
by Dan Craigen, Susan Gerhart
Formal methods for performance evaluation
by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy)
Teaching and Learning Formal Methods (Library and Informatio...
By formal methods of software development I mean methods that exploit the power of discrete mathematics (set theory and ...
FME 2001: Formal Methods for Increasing Software Productivit...
by International Symposium of Formal Methods Europe (10th 2001 Berlin, Germany)
Formal methods in computer-aided design
by FMCAD '96 (1996 Palo Alto, Calif.)
For an integrated circuit, implementation verification is the process of verifying that the physical layout of the IC is...
Formal methods and software engineering
by International Conference on Formal Engineering Methods (5th 2003 Singapore)
Formal methods for hardware verification
by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy)