8828 search results - page 216 / 1766 » Formal methods in practice |
157
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
129
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
129
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
149
Voted
ISW
2004
Springer
15 years 10 months ago
2004
Springer
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...
123
Voted
ISSRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...