Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

52

FMCAD
2009
Springer

favoriteEmaildiscussreport

171views Formal Methods» more FMCAD 2009»

Debugging formal specifications using simple counterstrategies

14 years 5 months ago

Debugging formal specifications using simple counterstrategies

Download fmv.jku.at

Robert Könighofer, Georg Hofferek, Roderick B

Real-time Traffic

FMCAD 2009 | Formal Methods |

claim paper

Related Content

» Monitoring and state transparency of distributed systems

» Developing and debugging algebraic specifications for Java classes

» A Tool for Writing and Debugging Algebraic Specifications

» Algebraic Methods for Specification and Formal Development of Programs

» Improved Design Debugging Using Maximum Satisfiability

» Slicing communicating automata specifications polynomial algorithms for model reduction

» A SetTheoretic Model for RealTime Specification and Reasoning

» Structured Formalization of ServiceOriented Specifications

» Deriving a simulation input generator and a coverage metric from a formal specification

Post Info
More Details (n/a)

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	FMCAD
Authors	Robert Könighofer, Georg Hofferek, Roderick Bloem

Comments (0)