Projects per year
Original language | English |
---|---|
Title of host publication | Verification, Model Checking, and Abstract Interpretation |
Subtitle of host publication | 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings |
Editors | ND Jones, M Muller-Olm |
Publisher | Springer |
Pages | 182-197 |
ISBN (Electronic) | 978-3-540-93900-9 |
ISBN (Print) | 978-3-540-93899-6 |
DOIs | |
Publication status | Published - 2009 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 5403 |
ISSN (Print) | 0302-9743 |
Projects
- 2 Finished
-
Automated quantitative software verification with PRISM
Kwiatkowska, M. (Principal Investigator)
Engineering & Physical Science Research Council
1/01/07 → 31/03/10
Project: Research Councils
-
UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures
Ryan, M. (Principal Investigator), Ghica, D. (Co-Investigator) & Kwiatkowska, M. (Co-Investigator)
Engineering & Physical Science Research Council
1/10/06 → 31/03/10
Project: Research Councils