MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis"." – sorted by Relevance.

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

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

745,115 documents found, showing 1 through 10. Next 10 →

ATOM

An Overview of Some Automated Tools for Formal Analysis and Verification
by Tomás Vojnar — 1998 — Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98
…@(email omitted); Abstract: The article presents several automated tools for performing formal analysis and verification…
Cited by 1 (1 self) – Add To MetaCart

Developing Tools for Formal Methods
by P. Kefalas, G. Eleftherakis, A. Sotiriadou — 2003 — In 9th Panhellenic Conference on Informatics, Thessaloniki
…. Such tools should: (a) provide an intuitive way to describe the model of the system using the formal method…
Cited by 6 (4 self) – Add To MetaCart

Tools for formal software engineering
by Zhiming Liu, R. Venkatesh — 2005 — In Proc of IFIP Working Conference on Program Verifier Challenge
… the use of model checking and static analysis techniques and tools for consistency and analysis…
Cited by 1 (1 self) – Add To MetaCart

The Use of Industrial-Strength Formal Methods
by Jonathan P. Bowen, Michael G. Hinchey — 1997 — Proceedings of 21st International Computer Software and Application Conference (COMPSAC’97
…The Use of Industrial-Strength Formal Methods Jonathan P. Bowen Michael G. Hinchey The University…
Cited by 13 (9 self) – Add To MetaCart

RuleBase: an Industry-Oriented Formal Verification Tool
by Ilan Beer, Shoham Ben-david, Cindy Eisner, Avner Landver, Avner L — 1996 — In 33rd Design Automation Conference
… it an industrial-strength formal verification tool. RuleBase uses an enhanced version of SMV [McM93] as its…
Cited by 58 (10 self) – Add To MetaCart

Tool support for production use of formal techniques
by John C. Knight, Kimberly S. Hanks, Sean R. Travis — 2001 — International Symposium on Software Reliability Engineering. IEEE Computer
…TOOL SUPPORT FOR PRODUCTION USE OF FORMAL TECHNIQUES John C. Knight, Kimberly S. Hanks, and Sean R…
Cited by 4 (2 self) – Add To MetaCart

Formal Verification of ASM Designs Using the MDG Tool
by Amjad Gawanmeh, Sofiene Tahar, Kirsten Winter — 2003 — Software Engineering and Formal Methods, IEEE Computer Society
…Formal Verification of ASM Designs using the MDG Tool Amjad Gawanmeh, Sofiene Tahar Concordia…
Cited by 2 (2 self) – Add To MetaCart

Tales from the Front: Industrial Experience with Formal Validation
by Mark Staskauskas — 1995 — First SPIN Workshop
…. Naperville, IL 60566 markstas@(email omitted); Abstract We have developed a formal validation tool that has…
Cited by 2 (0 self) – Add To MetaCart

Using Theory Morphisms for Implementing Formal Methods Tools
by Achim D. Brucker, Burkhart Wolff — 2003
…Using Theory Morphisms for Implementing Formal Methods Tools Achim D. Brucker und Burkhart Wol…
Cited by 6 (5 self) – Add To MetaCart

Introducing Formal Specification Methods in Industrial Practice
by Luciano Baresi, Ro Orso — 1997 — in the Proc. of the 19th International Conference on Software Software Engineering
… of the corresponding formal models. A CASE tool can be used as front end notation editor if it provides animation…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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