-
2
-
-
25344457859
-
Annotated Bibliography on Evolving Algebras
-
[Börger 95] Börger, E. (Eds.): Oxford University Press
-
[Börger 95]Börger, E.: "Annotated Bibliography on Evolving Algebras"; in Börger, E. (Eds.): "Specification and Validation Method"; Oxford University Press, (1995), 37-51.
-
(1995)
Specification and Validation Method
, pp. 37-51
-
-
Börger, E.1
-
3
-
-
84947909053
-
Why Use Evolving Algebras for Hardware and Software Engineering?
-
[Börger 95a] Bartosek, M., Staudek, J., Wiedermann, J. (Eds.)
-
[Börger 95a]Börger, E.: "Why Use Evolving Algebras for Hardware and Software Engineering?", Bartosek, M., Staudek, J., Wiedermann, J. (Eds.), SOFSEM'95; LNCS 1012, (1995), 236-271.
-
(1995)
SOFSEM'95; LNCS
, vol.1012
, pp. 236-271
-
-
Börger, E.1
-
5
-
-
35048900689
-
20 states and beyond
-
[Burch et al. 92]
-
20 states and beyond"; Information and Computation, 98, 2 (1992), 142-170.
-
(1992)
Information and Computation
, vol.98
, Issue.2
, pp. 142-170
-
-
Burch, J.R.1
Clarke, E.M.2
McMillan, K.L.3
Dill, D.L.4
Hwan, L.J.5
-
6
-
-
0022769976
-
Graph-Based Algorithms for Boolean Function Manipulation
-
[Bryant 86]
-
[Bryant 86]Bryant, R.E.: "Graph-Based Algorithms for Boolean Function Manipulation"; IEEE Transactions On Computers, C-35, 8, (1986).
-
(1986)
IEEE Transactions on Computers
, vol.C-35
, Issue.8
-
-
Bryant, R.E.1
-
7
-
-
0026987701
-
Model-Checking and Abstraction
-
[Clarke et al. 92] ACM Press
-
[Clarke et al. 92]Clarke, E., Grumberg, O., Long, D.: "Model-Checking and Abstraction"; Proc. 19th ACM Symposium on Principles of Programming Languages, ACM Press, (1992), 343-354.
-
(1992)
Proc. 19th ACM Symposium on Principles of Programming Languages
, pp. 343-354
-
-
Clarke, E.1
Grumberg, O.2
Long, D.3
-
8
-
-
2342544079
-
-
[Chang et al. 92] Dep. of Comp. Science, Stanford Univ., STAN-CS-92-1408
-
[Chang et al. 92]Chang, E., Manna, Z., Pnueli, A.: "The Safety-Progress Classification"; Dep. of Comp. Science, Stanford Univ., STAN-CS-92-1408, (1992).
-
(1992)
The Safety-Progress Classification
-
-
Chang, E.1
Manna, Z.2
Pnueli, A.3
-
9
-
-
0004277099
-
A Model Checker for Statecharts (Linking CASE Tools with Formal Methods)
-
[Day 1993] Dep. of Computer Science, Univ. of British Columbia, Vancouver, B.C., Canada
-
[Day 1993]Day, N.: "A Model Checker for Statecharts (Linking CASE Tools with Formal Methods)"; Tech.Report 93-35, Dep. of Computer Science, Univ. of British Columbia, Vancouver, B.C., Canada, (1993).
-
(1993)
Tech.Report 93-35
-
-
Day, N.1
-
10
-
-
84867307018
-
An Evolving Algebra Abstract Machine
-
[Del Castillo et al. 96]
-
[Del Castillo et al. 96]Del Castillo, G., Durdanović, L, Glässer, U.: "An Evolving Algebra Abstract Machine"; Proc. CSL'95, LNCS 1092, (1996), 191-214.
-
(1996)
Proc. CSL'95, LNCS
, vol.1092
, pp. 191-214
-
-
Del Castillo, G.1
Durdanović, L.2
Glässer, U.3
-
11
-
-
84863886894
-
Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving
-
[Dingel, Filkorn 96]
-
[Dingel, Filkorn 96]Dingel, J., Filkorn, T.: "Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving"; Proc. CAV '95, LNCS 939, (1996), 54-69.
-
(1996)
Proc. CAV '95, LNCS
, vol.939
, pp. 54-69
-
-
Dingel, J.1
Filkorn, T.2
-
12
-
-
84958745273
-
PEP - More than a Petri Net Tool
-
[Grahlmann, Best 93] Springer LNCS 1055
-
[Grahlmann, Best 93]Grahlmann, B., Best, E.: "PEP - More than a Petri Net Tool"; Procs. of TACAS'96, Springer LNCS 1055, (1996).
-
(1996)
Procs. of TACAS'96
-
-
Grahlmann, B.1
Best, E.2
-
13
-
-
0002017107
-
Evolving Algebras 1993: Lipari Guide
-
[Gurevich 95] E. Börger (Eds.) Oxford University Press
-
[Gurevich 95]Gurevich, Y.: "Evolving Algebras 1993: Lipari Guide"; E. Börger (Eds.): "Specification and Validation Methods"; Oxford University Press, (1995).
-
(1995)
Specification and Validation Methods
-
-
Gurevich, Y.1
-
14
-
-
33947148338
-
-
[Havelund, Shankar 95] SRI International Menlo Park, Report, USA
-
[Havelund, Shankar 95]Havelund, K., Shankar, N.: "Experiments in Theorem Proving and Model Checking for Protocol Verification" ; SRI International Menlo Park, Report, USA (1995).
-
(1995)
Experiments in Theorem Proving and Model Checking for Protocol Verification
-
-
Havelund, K.1
Shankar, N.2
-
16
-
-
0004162205
-
Model Checking, Abstraction and Compositional Verification
-
[Long 93] USA
-
[Long 93]Long, D.,E.: "Model Checking, Abstraction and Compositional Verification"; CMU Report, USA (1993).
-
(1993)
CMU Report
-
-
Long, D.E.1
-
17
-
-
0003581143
-
-
[McMillan 93] Kluwer Academic Publishers, Boston
-
[McMillan 93]McMillan, K.: "Symbolic Model Checking"; Kluwer Academic Publishers, Boston (1993).
-
(1993)
Symbolic Model Checking
-
-
McMillan, K.1
|