227 search results - page 20 / 46 » Quantitative verification: models techniques and tools |
93
Voted
ARTS
1997
Springer
15 years 5 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
122
click to vote
ASE
2005
15 years 1 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
108
click to vote
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
123
click to vote
IJIT
2004
15 years 3 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
120
Voted
C3S2E
2008
ACM
15 years 3 months ago
2008
ACM
In the last decade, a great many code clone detection tools have been proposed. Such a large number of tools calls for a quantitative comparison, and there have been several attem...