-
1
-
-
84957707327
-
Beyond the finite in hardware verification
-
Submitted, Extended version of: "Hardware verification using monadic second-order logic," LNCS
-
D. Basin and N. Klarlund. Beyond the finite in hardware verification. Submitted. Extended version of: "Hardware verification using monadic second-order logic," CAV '95, LNCS 939, 1996.
-
CAV '95
, vol.939
-
-
Basin, D.1
Klarlund, N.2
-
2
-
-
0004393320
-
An o(N log n) implementation of the standard mothod for minimizing n-state finite automata
-
Norbert Blum. An o(n log n) implementation of the standard mothod for minimizing n-state finite automata. Information Processing Letters, 1996.
-
(1996)
Information Processing Letters
-
-
Blum, N.1
-
3
-
-
0026913667
-
Symbolic Boolean manipulation with ordered binary-decision diagrams
-
R. E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing surveys, 24(3):293-318, September 1992.
-
(1992)
ACM Computing Surveys
, vol.24
, Issue.3
, pp. 293-318
-
-
Bryant, R.E.1
-
4
-
-
0004425081
-
Partitioning a graph in O(IA] log 2(VI)
-
A. Cardon and M. Crochemore. Partitioning a graph in O(IA) log 2(VI). TCS, 19:85-98, 1982.
-
(1982)
TCS
, vol.19
, pp. 85-98
-
-
Cardon, A.1
Crochemore, M.2
-
6
-
-
0027878159
-
Representation and symbolic manipulation of linearly inductive boolean functions
-
IEEE Computer Society Press
-
Aarti Gupta and Allan L. Fisher. Representation and symbolic manipulation of linearly inductive boolean functions. In Proceedings of the IEEE International Conference on Computer-Aided Design, pages 192-199. IEEE Computer Society Press, 1993.
-
(1993)
Proceedings of the IEEE International Conference on Computer-Aided Design
, pp. 192-199
-
-
Gupta, A.1
Fisher, A.L.2
-
7
-
-
0004455556
-
Mona: Monadic second-order logic in practice
-
LNCS
-
J.G. Henriksen, J. Jensen, M. JCrgensen, N. Klarlund, B. Paige, T. Rauhe, and A. Sandholm. Mona: Monadic second-order logic in practice. In Tools and Algorithms for the Construction and Analysis of Systems, First International Workshop, TACAS '95, LNCS 1019, 1996. Also available through http://www.brics.dk/~klarlund/MonaFido/papers.html.
-
(1996)
Tools and Algorithms for the Construction and Analysis of Systems, First International Workshop, TACAS '95
, vol.1019
-
-
Henriksen, J.G.1
Jensen, J.2
Jcrgensen, M.3
Klarlund, N.4
Paige, B.5
Rauhe, T.6
Sandholm, A.7
-
8
-
-
0002197352
-
An n log n algorithm for minimizing states in a finite automaton
-
Z. Kohavi and Paz A., editors, Academic Press
-
J. Hopcroft. An n log n algorithm for minimizing states in a finite automaton. In Z. Kohavi and Paz A., editors, Theory of machines and computations, pages 189-196. Academic Press, 1971.
-
(1971)
Theory of Machines and Computations
, pp. 189-196
-
-
Hopcroft, J.1
-
9
-
-
0026998940
-
Online minimization of transition systems
-
ACM
-
D. Lee and M. Yannakakis. Online minimization of transition systems. In Proc. STOC, pages 264-274. ACM, 1992.
-
(1992)
Proc. STOC
, pp. 264-274
-
-
Lee, D.1
Yannakakis, M.2
-
10
-
-
0026882239
-
On the OBDD-representation of general Boolean functions
-
H-T. Liaw and C-S. Lin. On the OBDD-representation of general Boolean functions. IEEE Trans. on Computers, C-41(6):661-664, 1992.
-
(1992)
IEEE Trans. on Computers
, vol.41 C
, Issue.6
, pp. 661-664
-
-
Liaw, H.-T.1
Lin, C.-S.2
-
11
-
-
0023566630
-
Three efficient algorithms based on partition refinement
-
R. Paige and R. Tarjan. Three efficient algorithms based on partition refinement. SIAM Yournal of Computing, 16(6), 1987.
-
(1987)
SIAM Yournal of Computing
, vol.16
, Issue.6
-
-
Paige, R.1
Tarjan, R.2
-
12
-
-
0027697421
-
Reduction of OBDDs in linear time
-
D. Sieling and I. Wegener. Reduction of OBDDs in linear time. IPL, 48:139-144, 1993.
-
(1993)
IPL
, vol.48
, pp. 139-144
-
-
Sieling, D.1
Wegener, I.2
|