2662 search results - page 154 / 533 » Objects-early tools: a demonstration |
110
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
113
click to vote
ICML
2007
IEEE
16 years 2 months ago
2007
IEEE
Increasingly large collections of structured data necessitate the development of efficient, noise-tolerant retrieval tools. In this work, we consider this issue and describe an ap...
133
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to...
94
Voted
FORMATS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
The following demonstration will provide an overview of the key functionality and capabilities of Magenta’s Logistics i-Scheduler – a multi-agent software tool for real time s...