The DynAlloy Visualizer
| Autor: | Juan Pablo Galeotti, Pablo Bendersky, Diego Garbervetsky |
|---|---|
| Rok vydání: | 2014 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Logic in Computer Science Correctness Syntax (programming languages) Computer science Programming language Semantics (computer science) lcsh:Mathematics lcsh:QA1-939 computer.software_genre Formal methods lcsh:QA75.5-76.95 Logic in Computer Science (cs.LO) Software Engineering (cs.SE) Propositional formula Computer Science - Software Engineering TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Formal specification Postcondition lcsh:Electronic computers. Computer science computer Scope (computer science) |
| Zdroj: | Electronic Proceedings in Theoretical Computer Science, Vol 139, Iss Proc. LAFM 2013, Pp 59-64 (2014) |
| ISSN: | 2075-2180 |
| Popis: | We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language debugger. Without this tool, a DynAlloy user is forced to deal with the internals of the Alloy intermediate representation in order to debug a flaw in her model. In Proceedings LAFM 2013, arXiv:1401.0564 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|