3147 search results - page 399 / 630 » Open-Source Model Checking |
100
Voted
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agen...
113
click to vote
DALT
2004
Springer
15 years 8 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
118
Voted
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
139
Voted
ECBS
2007
IEEE
15 years 6 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
113
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...