-
2
-
-
0000940701
-
Checking properties of nets using transformations
-
G. Rozenberg, editor, Advances in Petri nets, Springer-Verlag
-
[Ber85] G. Berthelot. Checking properties of nets using transformations. In G. Rozenberg, editor, Advances in Petri nets, volume No. 222 of LNCS, Springer-Verlag, 1985.
-
(1985)
LNCS
, vol.222
-
-
Berthelot, G.1
-
3
-
-
85034854874
-
Transformations and decompositions of nets
-
number 254 in LNCS. Springer-Verlag
-
[Ber86] G. Berthelot. Transformations and decompositions of nets. In Advances in Petri Nets, number 254 in LNCS, pages 359-376. Springer-Verlag, 1986.
-
(1986)
Advances in Petri Nets
, pp. 359-376
-
-
Berthelot, G.1
-
4
-
-
0028513196
-
Model checking and abstraction
-
September
-
[CGL94] Edmund M. Clarke, Orna Grumberg, and David E. Long. Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512-1542, September 1994.
-
(1994)
ACM Transactions on Programming Languages and Systems
, vol.16
, Issue.5
, pp. 1512-1542
-
-
Clarke, E.M.1
Grumberg, O.2
Long, D.E.3
-
6
-
-
0001896749
-
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows
-
NewsletterInfo: 33, 39
-
[CS91] J. M. Colom and M. Silva. Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. LNCS; Advances in Petri Nets 1990, 483:79-112, 1991. NewsletterInfo: 33, 39.
-
(1991)
LNCS; Advances in Petri Nets 1990
, vol.483
, pp. 79-112
-
-
Colom, J.M.1
Silva, M.2
-
8
-
-
26444604875
-
Quasar: A new tool for analysing concurrent programs
-
Reliable Software Technologies -Ada-Europe 2003. Springer-Verlag
-
[EKPPR03] S. Evangelista, C. Kaiser, J. F. Pradat-Peyre, and P. Rousseau. Quasar: a new tool for analysing concurrent programs. In Reliable Software Technologies -Ada-Europe 2003, volume 2655 of LNCS. Springer-Verlag, 2003.
-
(2003)
LNCS
, vol.2655
-
-
Evangelista, S.1
Kaiser, C.2
Pradat-Peyre, J.F.3
Rousseau, P.4
-
9
-
-
84947212909
-
Net reductions for LTL model-checking
-
T. Margaria and T. Melham, editors, Correct Hardware Design and Verification Methods. Springer-Verlag
-
[ES01] J. Esparza and C. Schröter. Net Reductions for LTL Model-Checking. In T. Margaria and T. Melham, editors, Correct Hardware Design and Verification Methods, volume 2144 of LNCS, pages 310-324. Springer-Verlag, 2001.
-
(2001)
LNCS
, vol.2144
, pp. 310-324
-
-
Esparza, J.1
Schröter, C.2
-
10
-
-
18744403951
-
Transactions for software model checking
-
Byron Cook, Scott Stoller, and Willem Visser, editors. Elsevier
-
[FQ03a] Cormac Flanagan and Shaz Qadeer. Transactions for software model checking. In Byron Cook, Scott Stoller, and Willem Visser, editors, Electronic Notes in Theoretical Computer Science, volume 89. Elsevier, 2003.
-
(2003)
Electronic Notes in Theoretical Computer Science
, vol.89
-
-
Flanagan, C.1
Qadeer, S.2
-
13
-
-
84957356403
-
Atomicity refinement and trace reduction theorems
-
Rajeev Alur and Thomas A. Henzinger, editors, New Brunswick, NJ, USA. Springer Verlag
-
[Gri96] E. Pascal Gribomon. Atomicity refinement and trace reduction theorems. In Rajeev Alur and Thomas A. Henzinger, editors, CAV, volume 1102, pages 311-322, New Brunswick, NJ, USA, / 1996. Springer Verlag.
-
(1996)
CAV
, vol.1102
, pp. 311-322
-
-
Pascal Gribomon, E.1
-
14
-
-
84913460367
-
Prevention of system deadlocks
-
373-ff
-
[Hab69] A. N. Habermann. Prevention of system deadlocks. ACM, 12(7):373-ff., 1969.
-
(1969)
ACM
, vol.12
, Issue.7
-
-
Habermann, A.N.1
-
15
-
-
33645229788
-
Efficient reductions for LTL formulae verification
-
CEDRIC, CNAM, Paris
-
[HPP04] S. Haddad and J.F. Pradat-Peyre. Efficient reductions for LTL formulae verification. Technical Report 634, CEDRIC, CNAM, Paris, http://cedric.cnam.fr, 2004.
-
(2004)
Technical Report
, vol.634
-
-
Haddad, S.1
Pradat-Peyre, J.F.2
-
16
-
-
0016592810
-
Reduction: A method of proving properties of parallel programs
-
[Lip75] Richard J. Lipton. Reduction: a method of proving properties of parallel programs. Commun. ACM, 18(12):717-721, 1975.
-
(1975)
Commun. ACM
, vol.18
, Issue.12
, pp. 717-721
-
-
Lipton, R.J.1
-
18
-
-
84947221177
-
Pre and post-agglomerations for LTL model checking
-
M. Nielsen and D Simpson, editors, number 1825 in LNCS. Springer-Verlag
-
[PPP00] D. Poitrenaud and J.F. Pradat-Peyre. Pre and post-agglomerations for LTL model checking. In M. Nielsen and D Simpson, editors, High-level Petri Nets, Theory and Application, number 1825 in LNCS, pages 387-408. Springer-Verlag, 2000.
-
(2000)
High-level Petri Nets, Theory and Application
, pp. 387-408
-
-
Poitrenaud, D.1
Pradat-Peyre, J.F.2
|