On the verification problem of nonregular properties for nonregular processes
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 21 references indexed in Scilit:
- Verification of nonregular temporal properties for context-free processesPublished by Springer Nature ,2005
- Deciding properties of nonregular programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Verifying infinite state processes with sequential and parallel compositionPublished by Association for Computing Machinery (ACM) ,1995
- A temporal fixpoint calculusPublished by Association for Computing Machinery (ACM) ,1988
- Propositional dynamic logic of nonregular programsJournal of Computer and System Sciences, 1983
- Temporal logic can be more expressiveInformation and Control, 1983
- Specification and verification of concurrent systems in CESARPublished by Springer Nature ,1982
- On the reachability problem for 5-dimensional vector addition systemsTheoretical Computer Science, 1979
- Star-free regular sets of ω-sequencesInformation and Control, 1979
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977