Design and Testing of Reliable Systems
![Foto de Design and Testing of Reliable Systems](/img/grupo.png)
![Foto de University of Birmingham](/img/noimage_org.png)
University of Birmingham
Birmingham, Reino UnidoPublicaciones en colaboración con investigadores/as de University of Birmingham (5)
2014
-
Open source verification in an anonymous volunteer network
Science of Computer Programming
-
Soundness and completeness of the NRB verification logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
A formal nethod (a networked formal method)
Innovations in Systems and Software Engineering, Vol. 6, Núm. 4, pp. 255-268
-
Open source verification under a cloud
Electronic Communications of the EASST
2008
-
Approximate verification in an open source world
Innovations in Systems and Software Engineering