university website Publications by Year
  • sign in
  • Computer Security /
  • Software|Data
  • Search

F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), R. Schlatte (Rudolf), S.L. Tapia Tarifa (Lizeth) and L. Tveito (Lars)

2020

Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages

Publication

Publication

This is a Maude implementation of concolic execution for a guarded commands language.

Additional Metadata
Organisation Computer Security
Citation
APA Style
  • AAA Style
  • APA Style
  • Cell Style
  • Chicago Style
  • Harvard Style
  • IEEE Style
  • MLA Style
  • Nature Style
  • Vancouver Style
  • American-Institute-of-Physics Style
  • Council-of-Science-Editors Style
  • BibTex Format
  • Endnote Format
  • RIS Format
  • CSL Format
  • DOIs only Format
de Boer, F., Johnsen, E. B., Schlatte, R., Tapia Tarifa, L., & Tveito, L. (2020). Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages.

Additional Files
View at GitHub

See Also
inProceedings
Inseguendo fagiani selvatici: Partial order reduction for guarded command languages
F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), R. Schlatte (Rudolf), S.L. Tapia Tarifa (Lizeth) and L. Tveito (Lars)

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close