6608 search results - page 30 / 1322 » On the Completeness of Model Checking |
141
click to vote
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
97
Voted
ACSD
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
73
Voted
FSTTCS
2007
Springer
15 years 6 months ago
2007
Springer
113
Voted
ATAL
2010
Springer
15 years 27 days ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
96
Voted
ASM
2008
ASM
15 years 2 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...