Revising UNITY Programs: Possibilities and Limitations-Reference-Cited by-同舟云学术

Revising UNITY Programs: Possibilities and Limitations

Published:2006 Issue: Volume: Page:275-290
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ebnenasir Ali,Kulkarni Sandeep S.,Bonakdarpour Borzoo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11795490_22

Reference23 articles.

1. Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)

2. Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters 21, 181–185 (1985)

3. Ebnenasir, A., Kulkarni, S.: Automatic addition of liveness. Technical Report MSU-CSE-04-22, Department of Computer Science, Michigan State University, East Lansing, Michigan (June 2004)

4. Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1990)

5. Emerson, E.A., Clarke, E.M.: Using branching time temporal logic to synthesize synchronization skeletons. Science of Computer Programming 2(3), 241–266 (1982)

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

1. Program Repair for Hyperproperties;Automated Technology for Verification and Analysis;2019

2. Incremental Realization of Safety Requirements: Non-determinism vs. Modularity;Fundamentals of Software Engineering;2015

3. Algorithmic program synthesis: introduction;International Journal on Software Tools for Technology Transfer;2013-08-27

4. Action-based discovery of satisfying subsets: A distributed method for model correction;Information and Software Technology;2013-02

5. Program Repair without Regret;Computer Aided Verification;2013