- -

Towards Symbolic Execution in Erlang

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


Towards Symbolic Execution in Erlang

Show full item record

Vidal Oriola, GF. (2015). Towards Symbolic Execution in Erlang. En Perspectives of System Informatics. Springer. 351-360. doi:10.1007/978-3-662-46823-4_28

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/66304

Files in this item

Item Metadata

Title: Towards Symbolic Execution in Erlang
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
The concurrent functional language Erlang [1] has a number of distinguishing features, like dynamic typing, concurrency via asynchronous message passing or hot code loading, that make it especially appropriate for ...[+]
Subjects: Model checking , Verification
Copyrigths: Reserva de todos los derechos
ISBN: 978-3-662-46822-7
Perspectives of System Informatics. (issn: 0302-9743 )
DOI: 10.1007/978-3-662-46823-4_28
Publisher version: http://link.springer.com/chapter/10.1007%2F978-3-662-46823-4_28
Conference name: 9th Ershov Informatics Conference (PSI 2014)
Conference place: St. Petersburg, Russia
Conference date: June 24-27, 2014
Series: Lecture Notes in Computer Science;8974
Description: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-46823-4_28
Type: Capítulo de libro Comunicación en congreso

This item appears in the following Collection(s)

Show full item record