Searching for "Transferring Formal Methods Technology to Industry." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Formal Methods For Developing High Assurance Computer Systems: Working Group Report
- … place in the software development process. Transferring formal methods technology to industry is largely…
- Cited by 6 (0 self) – Add To MetaCart
-
An Overview of Formal Hardware Specification Languages
- … verification effort. • Integration with existing design practice. The transfer of formal methods technologies…
- Cited by 1 (0 self) – Add To MetaCart
-
Using TAME to Prove Invariants of Automata Models: Two Case Studies
- … formal methods technology to industry is that: Training the industrial experts to use the formal…
- Cited by 7 (5 self) – Add To MetaCart
-
Formal Modelling and Simulation in the Development of a Security-critical Message Processing System
- … specification execution and testing as the place at which to begin the transfer of formal methods technology…
- Cited by 5 (2 self) – Add To MetaCart
-
Formal Hardware Specification Languages for Protocol Compliance Verification
- …. —Integration with existing design practice. The transfer of formal methods technologies to industrial practice…
- Cited by 1 (0 self) – Add To MetaCart
-
Formal Hardware Specification Languages for
- …. —Integration with existing design practice. The transfer of formal methods technologies to industrial practice…
- Add To MetaCart
Showing 1 through 6.
