103 search results - page 2 / 21 » UnitCheck: Unit Testing and Model Checking Combined |
ICST
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
KBSE
2008
IEEE
14 years 5 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and mus...
TAP
2009
Springer
14 years 5 months ago
2009
Springer
DATE
2004
IEEE
14 years 2 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...