Author:
Vergauwen Bart,Lewi Johan
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Andersen, H. R.: Model Checking and Boolean Graphs, ESOP'92, LNCS 582, 1992
2. Arnold, A., Crubille, P.: A linear algorithm to solve fixed-points equations on transition systems, Information Processing Letters, vol. 29, 57–66, 1988
3. Brown, M.C., Clarke, E.M., Dill, D.L., Mishra, B.: Automatic verification of sequential circuits using temporal logic, IEEE Transactions on Computers, C-35, No. 12, pp. 1035–1044, 1986
4. Clarke, E.M., Browne, M.C., Emerson, E.A., Sistla, A.P.: Using Temporal Logic for Automatic Verification of Finite State Systems, in NATO ASI Series, Vol. F13, Logics and Models of Concurrent Systems, ed. K.R.Apt, Springer-Verlag Berlin Heidelberg, 1985
5. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finitestate concurrent systems using temporal logic specifications, ACM Transactions on Progr. Languages and Systems, Vol. 8, No. 2, pp. 244–263, April 1986
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Portfolio Management in Explicit Model Checking;Transactions on Petri Nets and Other Models of Concurrency XVI;2022
2. Taking Some Burden Off an Explicit CTL Model Checker;Application and Theory of Petri Nets and Concurrency;2019
3. How Petri Net Theory Serves Petri Net Model Checking: A Survey;Transactions on Petri Nets and Other Models of Concurrency XIV;2019
4. Petri Net Model Checking with LoLA 2;Application and Theory of Petri Nets and Concurrency;2018
5. Improving the Verification of Real-Time Systems Using Time Petri Nets;Journal of Control, Automation and Electrical Systems;2017-09-19