Searching for "Formal Methods in Practice." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

84 documents found, showing 1 through 10. Next 10 →

Formal Methods: A Practical Tool for OS Implementors
by Patrick Tullmann, Jeff Turner, John Mccorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back — 1997
…Formal Methods: A Practical Tool for OS Implementors Patrick Tullmann Jeff Turner y John Mc…
Cited by 22 (3 self) – Add To MetaCart

On the Need for Practical Formal Methods
by Constance Heitmeyer — 1998 — In Formal Techniques in RealTime and Real-Time Fault-Tolerant Systems, Proc., 5th Intern. Symposium (FTRTFT'98
…On the Need for Practical Formal Methods ? Constance Heitmeyer Naval Research Laboratory, Code…
Cited by 15 (1 self) – Add To MetaCart

From formal models to formally-based methods: an industrial experience
by Emanuele Ciapessoni, Alberto Coen-porisini, Ernani Crivelli, Dino M, Piergiorgio Mir, Angelo Morzenti — 1999 — ACM TOSEM
… in the practice of industrial computer applications. We summarize the reasons why formal methods so far did…
Cited by 9 (2 self) – Add To MetaCart

Protocol Implementation with Estelle - from Prototypes to Efficient Implementations
by J. Thees — 1998 — In Budkowski et al
… methods in practical software development. Important requirements from a practical point of view…
Cited by 3 (0 self) – Add To MetaCart

NASA Langley's research and technology transfer program in formal methods
by Ricky W. Butler, Victor A. Carreño, Ben L. Di Vito, Kelly J. Hayhurst, C. Michael Holloway, Jeffrey M. Maddalon, Paul S. Miner, César Muñoz (icase, Alfons Geser (icase, Hanne Gottliebsen (icase — 1995 — In Tenth Annual Conference on Computer Assurance (COMPASS 95
… formal methods practical for use on high integrity systems, to orchestrate the transfer…
Cited by 8 (6 self) – Add To MetaCart

Games for Verification: Algorithmic Issues
by M. Jurdzinski, Marcin Jurdzi Nski — 2000
…. The success of formal methods in practice depends heavily on the degree of automation of development…
Cited by 1 (0 self) – Add To MetaCart

A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development
by Xiaoping Jia — 1997 — In Proc. 21st Annual Int'l Computer Software and Applications Conf
… examine the pragmatic obstacles of making formal methods practical and usable. Then, we present a…
Cited by 4 (2 self) – Add To MetaCart

A Formal Design and Implementation Method for Real-Time Embedded Systems
by Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes — 1996 — In P Milligan and K Kuchinski, editors, 22nd EUROMICRO Conference (EUROMICRO 96), Prague
… tackles the problem of using formal methods for practical real-time system development and verification…
Cited by 2 (2 self) – Add To MetaCart

Property Specification Patterns for Finite-State Verification
by Matthew Dwyer, George S. Avrunin, James C. Corbett — 1998 — Proceedings of the Second Workshop on Formal Methods in Software Practice
… there are a number of potential causes for reluctance in adopting such formal methods in practice, we believe…
Cited by 83 (5 self) – Add To MetaCart

Property Specification Patterns for Finite State Verification
by Matthew B. Dwyer, James C. Corbett, George S. Avrunin — 1998 — Proceedings of the 2nd Workshop on Formal Methods in Software Practice
… into their formalism of choice, and that this may improve the transition of these formal methods to practice…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB