Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. W. Damm, G. Döhmen, B. Josko, F. Korf, T. Peikenkamp: AADL Language Document. Internal report, University of Oldenburg, 1989
2. M. Ben-Ari, Z. Manna, A. Pnueli: The temporal logic of branching time. Acta Informatica 20, 207–226 (1983)
3. E.M. Clarke, E.A. Emerson, A.P. Sistla: Automatic verification of finite-state concurrent systems using temporal logic specifications: a practical approach. Tenth ACM Symposium on Principles of Programming Languages, 117–126 (1983)
4. W.Damm, G. Döhmen: AADL: A net based specification method for computer architecture design. in: de Bakker (Ed.): Languages for Parallel Architectures: Design, Semantics, and Implementation Models, Wiley & Sons (1990)
5. W. Damm, G. Döhmen, V. Gerstner, B. Josko: Modular verification of Petri nets: The temporal logic approach. REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. 1989
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Unified Model Checking Approach with Projection Temporal Logic;Formal Methods and Software Engineering;2008
2. Syntax-directed model checking of sequential programs;The Journal of Logic and Algebraic Programming;2002-07
3. Evolution of the Hypotheses Testing Approach in Intelligent Problem Solving Environments;Intelligent Tutoring Systems;2000
4. Modular model checking of software;Tools and Algorithms for the Construction and Analysis of Systems;1998
5. Lazy Compositional Verication;Compositionality: The Significant Difference;1998