Monitoring programs using rewriting
- 25 August 2005
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 1051, 135-143
- https://doi.org/10.1109/ase.2001.989799
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- Monitoring Java Programs with Java PathExplorerElectronic Notes in Theoretical Computer Science, 2001
- Formal analysis of a space-craft controller using SPINIEEE Transactions on Software Engineering, 2001
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- The Temporal Rover and the ATG RoverPublished by Springer Nature ,2000
- Model-Checking Multi-threaded Distributed Java ProgramsPublished by Springer Nature ,2000
- Introducing OBJPublished by Springer Nature ,2000
- An Overview of the Tatami Project*Published by Elsevier ,2000
- Experiments in theorem proving and model checking for protocol verificationPublished by Springer Nature ,1996
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992