User contributions
Jump to navigation
Jump to search
- 22:53, 25 October 2012 diff hist +567 N Astrée Created page with "'''Astrée''' is a static analysis tool developed at wikipedia:École Normale Supérieure (ENS) in Paris by a joint ENS/wikipedia:CNRS/wikipedia:INRIA team led b..." current
- 22:47, 25 October 2012 diff hist +10 Pagai
- 22:47, 25 October 2012 diff hist +451 N Pagai Created page with "'''Pagai''' is a research prototype for static analysis by abstract interpretation, mostly implemented by [http://www-verimag.imag.fr/~jhenry Julien Henry]. It implements seve..."
- 22:43, 25 October 2012 diff hist +245 Static analysis →How it works in a nutshell current
- 22:40, 25 October 2012 diff hist +848 Static analysis →How it works in a nutshell
- 22:35, 25 October 2012 diff hist -4 Static analysis →How it works in a nutshell
- 22:34, 25 October 2012 diff hist +238 Static analysis
- 22:30, 25 October 2012 diff hist -1 MediaWiki:Common.css
- 22:29, 25 October 2012 diff hist +18 MediaWiki:Common.css
- 22:27, 25 October 2012 diff hist +1,072 Static analysis
- 22:15, 25 October 2012 diff hist +963 Static analysis
- 22:10, 25 October 2012 diff hist +675 Static analysis
- 22:01, 25 October 2012 diff hist +297 N Static analysis Created page with "'''Static analysis''' is the act of deriving information about computer software (or, more generally, hardware or protocols) without actually running it, as opposed to '''dyna..."
- 21:59, 25 October 2012 diff hist +4 Main Page
- 21:55, 25 October 2012 diff hist +3 m Main Page
- 21:55, 25 October 2012 diff hist +1 m Main Page
- 21:54, 25 October 2012 diff hist 0 MediaWiki:Common.css
- 21:54, 25 October 2012 diff hist +1 MediaWiki:Common.css
- 21:52, 25 October 2012 diff hist +35 MediaWiki:Common.css
- 21:51, 25 October 2012 diff hist -29 MediaWiki:Common.css