- aut = "Rajeev Alur"
- Artículo:
Software model checking using languages of nested trees
- Autor:
Rajeev Alur
- Resumen:
While model checking of pushdown systems is by now an established technique in software verification, temporal logics and automata traditionally used in this area are unattractive on two counts. First, logics and automata traditionally used in model
- Página:
15
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
33
- Número:
5
- Periodo:
2011
- ISSN:
01640925
- SrcID:
01640925-2011-05.txt
- Documento número 542183
- Actualizado el martes, 10 de julio de 2018 10:14:12 a. m.
- Creado el martes, 10 de julio de 2018 10:14:12 a. m.
- Enlace directo
- Artículo:
Software model checking using languages of nested trees
- Autor:
Rajeev Alur
- Resumen:
While model checking of pushdown systems is by now an established technique in software verification, temporal logics and automata traditionally used in this area are unattractive on two counts. First, logics and automata traditionally used in model
- Página:
15
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
33
- Número:
5
- Periodo:
2011
- ISSN:
01640925
- SrcID:
01640925-2011-05.txt
- Documento número 6400
- Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Enlace directo
- Artículo:
Software model checking using languages of nested trees
- Autor:
Rajeev Alur
- Resumen:
While model checking of pushdown systems is by now an established technique in software verification, temporal logics and automata traditionally used in this area are unattractive on two counts. First, logics and automata traditionally used in model
- Página:
15
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
33
- Número:
5
- Periodo:
2011
- ISSN:
01640925
- SrcID:
01640925-2011-05.txt
- Documento número 892595
- Actualizado el martes, 10 de julio de 2018 10:55:36 a. m.
- Creado el martes, 10 de julio de 2018 10:55:36 a. m.
- Enlace directo
- Artículo:
Adding nesting structure to words.
- Autor:
Rajeev Alur
P. Madhusudan:
- Publicación:
Journal of the ACM
- Volúmen:
56
- Número:
3
- Periodo:
mayo-junio 2009
- ISSN:
00045411
- SrcID:
00045411-2009-03.txt
- Documento número 609513
- Actualizado el martes, 10 de julio de 2018 10:22:15 a. m.
- Creado el martes, 10 de julio de 2018 10:22:15 a. m.
- Enlace directo
- Artículo:
Adding nesting structure to words.
- Autor:
Rajeev Alur
P. Madhusudan:
- Publicación:
Journal of the ACM
- Volúmen:
56
- Número:
3
- Periodo:
mayo-junio 2009
- ISSN:
00045411
- SrcID:
00045411-2009-03.txt
- Documento número 252992
- Actualizado el martes, 23 de mayo de 2017 03:53:20 p. m.
- Creado el martes, 23 de mayo de 2017 03:53:20 p. m.
- Enlace directo
- 1-5
- 6-7
