Verification as a parameterized testing (experiments with the SCP4 supercompiler)-Reference-Cited by-同舟云学术

Verification as a parameterized testing (experiments with the SCP4 supercompiler)

Published:2007-02 Issue:1 Volume:33 Page:14-23
ISSN:0361-7688
Container-title:Programming and Computer Software
language:en
Short-container-title:Program Comput Soft

Author:

Lisitsa A. P.,Nemytykh A. P.

Publisher

Pleiades Publishing Ltd

Subject

Software

Link

http://link.springer.com/content/pdf/10.1134/S0361768807010033.pdf

Reference15 articles.

1. Nemytykh, A.P. and Turchin, V.F., The Supercompiler SCP4: Sources, On-Line Demonstration, 2000, http://www.botik.ru/pub/local/scp/refal5/ .

2. Nemytykh, A.P., The Supercompiler SCP4: General Structure (Extended Abstract), Lecture Notes in Computer Science (Proc. of the 5th Int. Conf. Perspectives of System Informatics), 2003, vol. 2890, pp. 162–170, http://www.botik.ru/pub/local/scp/refal5/nemytykh_PSI03.ps.gz .

3. Delzanno, G., Automatic Verification of Parameterized Cache Coherence Protocols, Lecture Notes in Computer Science (Proc. 12th Int. Conf. Computer Aided Verification), 2003, vol. 1855, pp. 53–68.

4. Delzanno, G., Automatic Verification of Cache Coherence Protocols via Infinite-state Constraint-based Model Checking, http://www.disi.unige.it/person/DelzannoG/protocol.html .

5. Turchin, V.F., Refal-5, Programming Guide and Reference Manual, Holyoke, MA: New England, 1989, http://www.botik.ru/pub/local/scp/refal5/ .

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Intermediate Representation of Programs with Type Specification Based on Pattern Matching;Programming and Computer Software;2020-01

2. An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata;Electronic Proceedings in Theoretical Computer Science;2018-03-23

3. Verification of Programs via Intermediate Interpretation;Electronic Proceedings in Theoretical Computer Science;2017-08-23

4. Generating Counterexamples for Model Checking by Transformation;Electronic Proceedings in Theoretical Computer Science;2016-07-06

5. Verifying Temporal Properties of Reactive Systems by Transformation;Electronic Proceedings in Theoretical Computer Science;2015-12-07