31387 search results - page 386 / 6278 » Abstracts |
173
click to vote
SE
2007
15 years 8 months ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
JCT
2008
15 years 6 months ago
2008
ing subgroups of Coxeter groups (Extended Abstract) Francesco Brenti, Victor Reiner, and Yuval Roichman Abstract. We explore combinatorial consequences of a simple presentation due...
178
click to vote
JISE
1998
15 years 6 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
162
click to vote
MOC
1998
15 years 6 months ago
1998
Abstract. Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique abstract existence results based...
199
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...