7167 search results - page 90 / 1434 » A Technique for Invariant Generation |
142
click to vote
ICRA
2006
IEEE
16 years 7 days ago
2006
IEEE
— We address the problem of modeling and controlling a swarm of fully actuated point-like robots in three dimensions by generalizing the planar framework from [1]. We define a e...
137
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
160
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
127
click to vote
NIPS
1998
15 years 7 months ago
1998
A directed generative model for binary data using a small number of hidden continuous units is investigated. A clipping nonlinearity distinguishes the model from conventional prin...
159
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...