2806 search results - page 35 / 562 » BML and Related Tools |
112
click to vote
RTA
2009
Springer
15 years 8 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
114
click to vote
VISUALIZATION
2002
IEEE
15 years 6 months ago
2002
IEEE
GeneVis provides a visual environment for exploring the dynamics of genetic regulatory networks. At present time, genetic regulation is the focus of intensive research worldwide, ...
110
click to vote
TELSYS
2002
15 years 1 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
111
click to vote
NAR
2007
15 years 1 months ago
2007
The AthaMap database generates a map of cisregulatory elements for the whole Arabidopsis thaliana genome. This database has been extended by new tools to identify common cis-regul...
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...