Please log in if you want to be notified when static analysis is mentioned on Eventseer.net. Click the tracker button below to activate notifications.
Click the button to be notified on your personal tracker whenever this topic is mentioned in an event.

static analysis


Static analysis is mentioned in 105 events. This topic is an active interest of Andreas Podelski, Tao Xie and Byron Cook.

about


tracker for static analysis


November 27, 2008

Open source certification was updated.

November 25, 2008

5th international workshop on software engineering for secure systems (SESS 2009) was added.

November 21, 2008

10th international conference on verification, model checking, and abstract interpretation (VMCAI 2009) was updated.

November 20, 2008

2nd workshop on formal languages and analysis of contract-oriented software (FLACOS 2008) was updated.

November 13, 2008

9th workshop on runtime verification (RV 2009) was added.

November 13, 2008

16th international spin workshop on model checking of software (SPIN 2009) was added.

November 12, 2008

Joint workshop on automated reasoning for security protocol analysis and issues in the theory of security (ARSPA-WITS 2009) was added.

November 10, 2008

1st NASA formal methods symposium (NFM 2009) was added.

October 28, 2008

Open source certification was added.

October 10, 2008

7th international conference on business process management (BPM 2009) was updated.

October 6, 2008

2nd international workshop on invariant generation (WING 2009) was added.

October 5, 2008

7th international conference on business process management (BPM 2009) was added.

« Previous 1 2 3 4 5 6 7 8 9 10 11 Next »