Index file section P for sttt.bib
Last update: Thu Feb 8 02:07:22 MST 2024
Return to index directory
P
-
Pacalet, Anne, 13(5)405--417
-
Pacalet, Anne, see Cuoq, Pascal
-
Pace, Gordon, 5(2)158--164
-
Pace:2004:CEG, 5(2)158--164
-
package, 3(2)182--192, 24(5)717--733
-
PacoSuite, 9(2)135--154
-
PAG, 2(1)46--67
-
Pahl, Claus, 9(2)169--178
-
Pahl:2007:OSC, 9(2)169--178
-
Paiva, Ana C. R., 18(3)285--304
-
Paiva, Ana C. R., see Faria, João Pascoal
-
Pajault, Christophe, 12(2)155--170
-
Pajault, Christophe, see Evangelista, Sami
-
Pajic, Miroslav, 16(2)191--213
-
Pajic, Miroslav, see Jiang, Zhihao
-
Pakulin, Nikolay, 16(3)285--294
-
Pakulin, Nikolay, see Zeiss, Benjamin
-
Palena, M., 20(3)313--325
-
Palena, M., see Cabodi, G.
-
Paleo, Bruno Woltzenlogel, 21(1)71--86
-
Paleo, Bruno Woltzenlogel, see Fellner, Andreas
-
Palmer, R., 11(1)13--25
-
Palmer, R., see Melatti, I.
-
Palmieri, Maurizio, 24(6)999--1024
-
Palmieri, Maurizio, see Hansen, Simon Thrane
-
Palomo, Pedro, 22(1)3--32, 22(1)33--34
-
Palomo, Pedro, see Gioulekas, Fotios
-
Palopoli, Luigi, 15(3)211--228
-
Palopoli, Luigi, see Le, Thi Thieu Hoa
-
Palsberg, Jens, 10(2)111--112
-
Palsberg, Jens, see Hermanns, Holger
-
Paludetto, Mario, 2(2)160--167
-
Paludetto, Mario, see Moncelet, Gilles
-
Pan, Minxue, 14(6)639--651
-
Pan:2012:TAM, 14(6)639--651
-
Pandya, Paritosh, 10(2)113--129
-
Pandya, Paritosh, see Thomas, Dina
-
Pang, Jun, 20(6)689--704
-
Pang, Jun, see Wang, Jingyi
-
Panizo, Laura, 20(5)499--514, 22(2)105--114
-
Panizo, Laura, see Gallardo, María del Mar
-
Panizo:2020:MBT, 22(2)105--114
-
Pantelic, Vera, 20(1)95--117
-
Pantelic:2018:SEP, 20(1)95--117
-
Paolini, Luca, 21(6)691--707
-
Paolini, Luca, see Damiani, Ferruccio
-
paper, 5(1)1--3, 5(2)105--106, 5(2)237--246, 5(4)299--300, 6(4)257--259,
7(1)1--3, 7(2)87--88, 7(3)195--196, 7(4)293--296, 8(4)355--358,
21(3)247--248, 24(5)783--802, 25(2)129--131
-
paradigm, 22(4)457--476, 25(3)241--247
-
parallel, 3(2)217--234, 7(1)1--3, 7(1)31--42, 8(4)387--396, 11(1)13--25,
13(1)21--35, 14(1)95--108, 18(2)149--167, 19(6)653--673,
21(4)401--423
-
parallel-code, 21(2)183--202
-
parallelisations, 23(5)741--763
-
parameterised, 24(5)735--756
-
parameterized, 5(2)268--297, 14(2)207--222, 15(3)269--286,
18(5)469--473, 18(5)475--493, 18(5)495--516, 18(5)559--573,
24(2)287--324
-
parametric, 13(1)3--19, 20(1)79--93, 21(2)203--219, 21(6)613--633,
23(2)209--228, 24(1)1--28, 24(5)803--819
-
Parametrized, 8(3)261--279
-
Pareto, 10(3)223--231
-
parity, 21(3)325--349, 24(4)635--659, 24(5)735--756
-
Parízek, Pavel, 21(4)365--400
-
Parizek:2019:FDC, 21(4)365--400
-
Parizi, Reza Meimandi, 19(6)743--761
-
Parizi:2017:RAA, 19(6)743--761
-
Parker, David, 6(2)128--142, 8(3)216--228, 20(2)195--210, 24(5)663--665
-
Parker, David, see Biere, Armin,
see Kwiatkowska, Marta,
see Younes, Håkan L. S.
-
Parsa, Saeed, 21(3)351--364
-
Parsa, Saeed, see Nikravan, Esmaeel
-
Parsai, Ali, 22(4)365--388
-
Parsai:2020:CMC, 22(4)365--388
-
partial, 2(3)242--259, 2(3)279--287, 12(2)113--122, 12(2)155--170,
15(3)269--286, 17(4)429--456, 21(5)545--565
-
partial-order, 4(2)173--188, 6(4)277--301, 8(1)37--56, 11(1)39--51,
18(4)427--448, 24(5)735--756
-
particle, 22(2)183--194
-
particularly, 25(2)185--204
-
partition, 23(5)721--740
-
partitioning, 23(6)853--856
-
Pasareanu, Corina S., 11(1)53--67, 11(4)339--353, 13(1)1--2,
16(5)457--464
-
Pasareanu, Corina S., see Anand, Saswat,
see Howar, Falk
-
P{\u{a}}s{\u{a}}reanu, Corina S., 5(1)34--48, 24(5)667--689,
25(3)393--405, see Frenkel, Hadar,
see Usman, Muhammad
-
Pasareanu:2003:FFA, 5(1)34--48
-
Pasareanu:2009:SNT, 11(4)339--353
-
Pasareanu:2011:NRS, 13(1)1--2
-
Pasini, P., 20(3)313--325
-
Pasini, P., see Cabodi, G.
-
Passerone, Roberto, 15(3)211--228
-
Passerone, Roberto, see Le, Thi Thieu Hoa
-
passing, 22(5)617--633
-
passing, message-, 16(2)127--146
-
past, 10(3)263--279
-
Pasternak, Benny, 11(4)273--290
-
Pasternak:2009:GUT, 11(4)273--290
-
Pater, Elwin, 18(4)427--448
-
Pater, Elwin, see Laarman, Alfons
-
path, 10(3)223--231
-
path, critical-, 19(4)487--510
-
path, single-, 22(6)655--666, 23(1)55--67
-
Path-oriented, 13(4)307--317
-
Pathak, Animesh, 14(5)477--495
-
Pathak, Animesh, see Schaefer, Ina
-
PathFinder, 2(4)366--381
-
pathways, 3(4)394--404
-
patient, 10(1)15--28
-
pattern, 2(1)13--28, 3(2)217--234, 12(3)211--230, 16(3)315--334,
18(1)41--56, 23(4)565--577, 25(5)659--673
-
pattern-based, 8(1)57--76, 21(2)183--202
-
Patti, D., 20(3)313--325
-
Patti, D., see Cabodi, G.
-
Paul, 2(1)1--5
-
Paul, Wolfgang J., 8(4)411--430
-
Paul, Wolfgang J., see Beyer, Sven
-
Paviot-Adet, Emmanuel, 23(6)931--952
-
Paviot-Adet, Emmanuel, see Kordon, Fabrice
-
Payer, Hannes, 15(3)189--209
-
Payer, Hannes, see Craciunas, Silviu S.
-
Pearce, Frederick, 5(4)299--300, 5(4)308--319
-
Pearce, Frederick, see Alur, Rajeev,
see Iyer, S. Purushothaman
-
pebbling, 21(1)71--86
-
Pecheur, Charles, 21(4)449--469
-
Pecheur, Charles, see Busard, Simon
-
Pedro, André de Matos, 20(4)379--395
-
Pedro:2018:RVA, 20(4)379--395
-
peer, peer-to-, 6(3)219--230
-
peer-to-peer, 6(3)219--230
-
Pelánek, Radek, 8(3)204--215, 10(5)443--454,
see Behrmann, Gerd
-
Pelanek:2008:PSS, 10(5)443--454
-
Peled, D., 2(3)279--287
-
Peled, D., see Clarke, E. M.
-
Peled, Doron, 5(1)78--89, 19(4)449--464, 23(4)547--563
-
Peled, Doron, see Gunter, Elsa L.,
see Havelund, Klaus, \see{Katz, Gal
-
Peleska, Jan, 8(2)167--176, 18(3)265--283, 20(4)441--465
-
Peleska, Jan, see Berkenkötter, Kirsten,
see Huang, Wen-ling
-
Pelican, Michael J. S., 16(1)13--29
-
Pelican, Michael J. S., see Goldman, Robert P.
-
Peng, Hong, 4(2)234--245
-
Peng, Zebo, 18(5)517--534
-
Peng, Zebo, see Ganjei, Zeinab
-
Peng:2003:CSV, 4(2)234--245
-
Penna, Giuseppe Della, 6(4)320--341, 8(4)397--409
-
Penna:2004:ETL, 6(4)320--341
-
Penna:2006:FHA, 8(4)397--409
-
Pentium\reg{}4, 4(3)323--334
-
per-reward, Average-price-, 13(6)553--569
-
Perathoner, Simon, 15(3)155--170
-
Perathoner, Simon, see Lampka, Kai
-
Pereira, David, 20(4)379--395
-
Pereira, David, see Pedro, André de Matos
-
Pérez, Gervasio, 21(2)183--202
-
Pérez, Guillermo A., 19(3)367--390, see Jacobs, Swen
-
Pérez, Javier, 12(3)183--199
-
Perez:2010:CSE, 12(3)183--199
-
Perez:2019:FSI, 21(2)183--202
-
perform, 11(6)503--515
-
performance, 8(6)607--620, 9(3)213--254, 10(4)359--370, 12(3)231--243,
12(6)467--481, 15(3)171--187, 18(1)21--40, 25(5)785--798
-
Périn, M., 8(1)57--76, see Bozga, L.
-
periodic, 4(3)349--358
-
perspective, 2(3)288--306, 14(5)477--495, 15(3)149--154, 17(2)121--123,
17(4)369--376, 21(2)121--141
-
Pesic, Maja, 9(3)327--352
-
Pesic:2007:MWD, 9(3)327--352
-
Peterson, Brian, 23(1)31--53, 25(4)431--452
-
Peterson, Brian, see Alvin, Chris,
see Ho, Vivian M.
-
Petrenko, Alexandre, 14(4)383--386
-
Petrenko:2012:MBT, 14(4)383--386
-
Petri, 2(2)98--132, 2(2)133--143, 2(2)144--159, 2(2)160--167,
2(2)168--181, 2(2)182--191, 3(4)394--404, 3(4)405--416,
3(4)417--430, 3(4)486--497, 7(1)43--60, 8(3)195--203, 8(6)531--545,
9(3)209--212, 9(3)213--254, 9(3)255--267, 9(3)269--304,
9(3)305--326, 9(3)327--352, 9(3)393--411, 10(1)1--3, 10(1)5--14,
10(1)15--28, 10(1)29--56, 10(1)57--74, 10(1)75--93, 10(1)95--110,
10(2)167--184, 18(3)285--304, 20(3)243--262, 20(5)529--546,
22(2)163--181, 25(1)95--114
-
Petrucci, L., 9(3)393--411
-
Petrucci, L., see Lakos, C.
-
Petrucci, Laure, 3(4)372--381, 10(5)401--424
-
Petrucci, Laure, see Bardin, Sébastien,
see Berthelot, Gérard
-
Pettersson, Mikael, 4(4)421--436
-
Pettersson, Mikael, see Johansson, Erik
-
Pettersson, Paul, 1(1)134--152, 3(3)353--368, 18(3)335--353
-
Pettersson, Paul, see Enoiu, Eduard P.,
see Larsen, Kim G., \see{Lindahl, Magnus
-
Peureux, Fabien, 6(2)143--157, 20(4)467--491, 24(2)127--158
-
Peureux, Fabien, see Bouquet, Fabrice,
see Bride, Hadrien,
see Vernotte, Alexandre
-
Peyronnet, Sylvain, 17(4)457--467
-
Peyronnet, Sylvain, see Lassaigne, Richard
-
Peyton, Liam, 10(4)371--381, 16(3)269--283
-
Peyton, Liam, see Stepien, Bernard
-
Pezzé, Mauro, 18(1)1--19
-
Pezzè, Mauro, 9(2)133--134, 10(6)493--502,
see Carzaniga, Antonio
-
Pezze:2007:ISS, 9(2)133--134
-
Pezze:2016:MDG, 18(1)1--19
-
Pfähler, Jörg, 17(6)677--694, see Ernst, Gidon
-
phase, 15(1)29--39, 16(2)127--146
-
PHAVer, 10(3)263--279
-
Philipp, Florian, 16(3)227--246
-
Philipp, Florian, see Makedonski, Philip
-
Philippou, Anna, 15(4)287--289
-
Philippou, Anna, see Kowalewski, Stefan
-
phone, 2(2)133--143, 8(6)531--545
-
physical, cyber-, 20(1)79--93, 22(1)79--102, 24(6)911--948,
25(4)541--556
-
physics, 19(1)1--7
-
Pierantonio, Alfonso, 3(4)431--455, 24(2)247--260
-
Pierantonio, Alfonso, see Anlauff, Matthias,
see Bettini, Lorenzo
-
Piessens, Frank, 17(3)291--303, 17(6)659--676
-
Piessens, Frank, see Jacobs, Bart,
see Vanoverberghe, Dries
-
Pietrantuono, Roberto, 16(5)593--607
-
Pietrantuono, Roberto, see Carrozza, Gabriella
-
Pietschker, Andrej, 10(4)291--295
-
Pietschker:2008:ATA, 10(4)291--295
-
piggyback, 17(2)125--142
-
pilot, 11(6)441--451
-
Pimentel, Ernesto, 5(2)165--184
-
Pimentel, Ernesto, see Gallardo, María del Mar
-
Pinciroli, Riccardo, 25(5)785--798
-
Pinciroli, Riccardo, see Murgia, Maurizio
-
Pinho, Luís Miguel, 20(4)379--395,
see Pedro, André de Matos
-
Pinto, Jervis, 20(1)57--78
-
Pinto, Jervis, see Holmes, Josie
-
Pinto, Jorge Sousa, 20(4)379--395
-
Pinto, Jorge Sousa, see Pedro, André de Matos
-
Pinto, Patrícia, 9(3)353--369,
see Machado, Ricardo J.
-
pipeline, 24(1)1--28
-
Piskac, Ruzica, 15(5)455--474
-
Piskac, Ruzica, see Kuncak, Viktor
-
Piterman, Nir, 8(3)261--279, 13(6)571--584, 19(5)511--515,
25(5)765--784
-
Piterman, Nir, see Alrahman, Yehia Abd,
see Fang, Yi, \see{Godefroid, Patrice
-
Piterman:2017:AVP, 19(5)511--515
-
Pixley, Carl, 2(3)288--306
-
Pixley:1999:MCH, 2(3)288--306
-
\pkgCoVeriTest, 23(6)847--851
-
\pkgCPAash, 23(6)853--856
-
\pkgESBMC, 23(6)857--861
-
\pkgFairFuzz-TC, 23(6)863--866
-
\pkgKeYmaera, 18(1)67--91, 23(5)827--827
-
\pkgKLEE, 23(6)867--870
-
\pkgPolyGraph, 23(3)489--517, 23(3)519--519
-
\pkgPRTest, 23(6)871--873
-
\pkgSymbiotic, 23(6)875--877
-
Plagge, Daniel, 12(1)9--21
-
Plagge:2010:SOS, 12(1)9--21
-
Plain, 23(6)871--873
-
Plaku, Erion, 15(4)305--320
-
Plaku:2013:FLS, 15(4)305--320
-
planning, 9(3)255--267, 16(1)1--12, 16(1)49--65, 16(5)593--607,
17(4)457--467, 20(5)515--528
-
plans, 16(1)13--29
-
Plá{\v{s}}il, Franti{\v{s}}ek, 25(5)733--746,
see Bure{\v{s}}, Tom{\'a}{\v{s}}
-
Platania, Lorenzo, 11(1)69--83
-
Platania, Lorenzo, see Armando, Alessandro
-
platform, 1(1)9--30, 1(1)31--48, 6(3)186--202, 9(1)5--24, 12(6)429--446,
16(4)339--361, 21(5)485--513, 24(5)717--733
-
Platitudes, 4(3)261--265
-
Platzer, André, 19(6)717--741, 20(6)615--643, 23(5)827--827,
see Jeannin, Jean-Baptiste,
see Müller, Andreas,
see Quesel, Jan-David
-
player, multi-, 20(2)195--210
-
PLC, 4(1)21--33
-
Pleak, 24(2)183--203
-
Pleuss, Andreas, 14(5)497--510
-
Pleuss:2012:VVC, 14(5)497--510
-
Ploennigs, Joern, 8(6)607--620
-
Ploennigs:2006:AMG, 8(6)607--620
-
PM, OC-, 25(1)1--17
-
Pnueli, A., 2(2)192--201
-
Pnueli, Amir, 2(4)328--342, 8(3)261--279
-
Pnueli, Amir, see Fang, Yi, \see{Kesten, Yonit
-
Pnueli:1998:CVT, 2(2)192--201
-
Podelski, Andreas, 3(3)250--270, 5(1)49--58, 8(3)177--179, 11(1)27--37,
18(4)449--467
-
Podelski, Andreas, see Ball, Thomas,
see Bogomolov, Sergiy,
see Delzanno, Giorgio,
see Dräger, Klaus, \see{Jensen, Kurt
-
Poglitsch, Patrick, 16(3)295--313
-
Poglitsch, Patrick, see Rings, Thomas
-
point, 3(1)1--12, 5(2)237--246, 8(4)411--430, 10(3)223--231,
10(4)285--289
-
point, Fixed-, 8(1)4--25
-
point, Floating-, 19(4)427--448
-
point, floating-, 4(3)323--334, 25(2)185--204
-
pointwise, 9(1)1--4
-
Poitrenaud, D., 19(6)653--673
-
Poitrenaud, D., see Renault, E.
-
Pol, Jaco C. van de, 11(5)375--392
-
Pol, Jaco C. van de, see Wijs, Anton J.
-
Pol, Jaco van de, 5(2)105--106, 7(3)195--196, 16(5)481--491,
18(4)427--448, 19(6)675--696, 20(2)157--177, 21(3)307--324,
24(6)999--1024
-
Pol, Jaco van de, see Arts, Thomas,
see Bloemen, Vincent, \see{Dijk, Tom van,
see Hansen, Simon Thrane,
see Laarman, Alfons
-
policy, 9(5)457--470, 10(6)503--520, 17(3)291--303, 18(5)559--573,
23(5)685--700
-
Polikarpova, Nadia, 19(6)697--716
-
Polikarpova, Nadia, see Furia, Carlo A.
-
Poll, Erik, 7(3)212--232
-
Poll, Erik, see Burdy, Lilian
-
Polyhedra, 10(3)263--279
-
polyhedral, 25(1)95--114
-
polynomial, quasi-, 21(3)325--349
-
Ponsini, Olivier, 16(1)103--121
-
Ponsini, Olivier, see Collavizza, Hélène
-
Ponzio, Pablo, 20(6)665--688
-
Ponzio, Pablo, see Uva, Marcelo
-
Popien, Claudia, Linnhoff-, 22(4)457--476
-
Poplavko, Peter, 22(1)3--32, 22(1)33--34
-
Poplavko, Peter, see Gioulekas, Fotios
-
Popp, Gerhard, 9(5)457--470
-
Popp, Gerhard, see Breu, Ruth
-
Poppleton, Michael, 22(3)297--313
-
Poppleton, Michael, see Dghaym, Dana
-
Porras, José, 2(2)160--167, see Moncelet, Gilles
-
porting, 13(2)181--200
-
POSIX, 13(5)431--448
-
Postma, Steven, 20(1)95--117
-
Postma, Steven, see Pantelic, Vera
-
potentially, 25(2)185--204
-
Poulsen, Danny B{\o}gsted, 17(3)351--367, 17(4)397--415, 23(1)89--104,
see David, Alexandre,
see Hansen, René Rydhof
-
Pouzet, Marc, 6(3)245--255
-
Pouzet, Marc, see Colaço, Jean-Louis
-
power, 15(3)229--245, 25(3)355--374
-
powerful, 25(2)185--204
-
powerset, 9(3)413--414
-
Pozo, Aurora, 14(4)461--475
-
Pozo, Aurora, see Vergilio, Silvia Regina
-
Prabhakar, Pavithra, 9(1)1--4
-
Prabhakar, Pavithra, see D'Souza, Deepak
-
practical, 2(4)328--342, 2(4)350--365, 7(4)376--387, 15(1)53--63,
15(5)563--583, 19(3)325--339
-
practice, 3(2)112--136, 8(6)531--545, 10(5)401--424, 19(3)309--324,
20(1)95--117
-
practitioner, 2(2)98--132
-
Pragmatics, 2(3)208--218
-
Prange, Ulrike, 12(3)245--261
-
Prange, Ulrike, see Biermann, Enrico
-
Prantl, Adrian, 16(5)493--505
-
Prantl, Adrian, see Schordan, Markus
-
Prasad, Mukul R., 7(2)156--173
-
Prasad:2005:SRA, 7(2)156--173
-
pre-conditions, 13(5)405--417
-
precise, 14(1)1--14, 16(2)175--190, 21(5)515--543
-
predicate, 11(2)105--116, 12(6)409--427, 23(6)847--851, 25(4)541--556
-
predictive, 8(3)248--260, 23(4)615--640
-
Preface, 2(2)95--97, 3(3)247--249, 3(4)369--371, 4(2)139--141,
4(3)266--270, 4(4)401--404, 6(1)1--3, 8(2)93--96, 11(5)355--357,
13(3)201--205, 13(6)491--493, 18(4)355--357, 19(4)391--393,
23(2)155--156
-
prefix, 22(6)729--740
-
Preikschat, Wolfgang, Schröder-, 14(5)531--551
-
Preiner, Mathias, 25(2)219--239, 25(5)799--800
-
Preiner, Mathias, see Scott, Joseph
-
Preoteasa, Viorel, 22(6)689--708
-
Preoteasa, Viorel, see Dragomir, Iulia
-
prerequisite, 25(2)185--204
-
presence, 25(2)185--204
-
present, 25(2)185--204
-
presented, 19(5)511--515, 20(6)611--613, 22(1)1--2, 23(3)285--287
-
preservation, 9(1)53--62, 23(3)369--410
-
preserving, distance-, 11(1)27--37
-
preserving, semantics-, 25(3)301--327
-
Pressburger, Thomas, 2(4)366--381
-
Pressburger, Thomas, see Havelund, Klaus
-
Pretschner, A., 5(2)140--157
-
Pretschner:2004:MBT, 5(2)140--157
-
Prevosto, Virgile, 13(5)405--417
-
Prevosto, Virgile, see Cuoq, Pascal
-
Prewitt, Richard, 13(3)207--221
-
Prewitt, Richard, see Adler, Yoram
-
prialt, 7(3)248--267
-
price-per-reward, Average-, 13(6)553--569
-
priced, 21(6)679--689
-
principle, 7(4)297--315, 22(3)315--332
-
Prinetto, Paolo, 7(4)326--340
-
Prinetto, Paolo, see Baldini, Andrea
-
printed, 2(2)202--202
-
printfs, 10(2)131--144
-
PRISM, 5(2)221--236, 6(2)128--142, 20(2)179--194
-
PRISM-games, 20(2)195--210
-
privacy, 24(2)183--203
-
ProB, 10(2)185--203, 19(2)187--203
-
probabilistic, 6(2)128--142, 8(3)216--228, 8(4)397--409, 13(1)3--19,
13(1)21--35, 18(2)227--243, 20(2)179--194, 20(5)563--587,
20(6)689--704, 21(6)651--666, 24(4)589--610
-
probability, 17(1)77--90, 25(3)375--391
-
problem, 7(2)102--117, 9(1)53--62, 10(3)233--245, 11(5)375--392,
12(2)155--170, 12(3)273--285, 14(4)461--475, 20(4)397--422,
21(6)679--689, 25(1)95--114
-
procedural, 23(4)521--543
-
procedure, 7(2)143--155, 9(3)269--304, 10(1)29--56, 11(2)85--94,
11(2)95--104, 13(1)37--60, 19(5)565--584
-
process, 2(2)192--201, 6(1)38--66, 6(3)186--202, 9(1)37--51, 9(1)77--88,
9(3)255--267, 10(1)95--110, 10(4)285--289, 11(3)239--253,
13(1)37--60, 15(2)89--107, 16(3)295--313, 17(1)1--16, 17(3)245--250,
17(4)457--467, 17(4)469--484, 17(4)505--526, 18(2)187--204,
18(5)517--534, 18(5)535--558, 18(6)607--628, 19(2)247--269,
24(2)183--203, 24(4)563--587, 25(1)1--17
-
process, inter-, 21(6)651--666
-
processor, 2(2)182--191, 13(1)21--35, 21(5)515--543
-
Proch, Cyril, 11(3)217--238
-
Proch, Cyril, see Cansell, Dominique
-
product, 9(5)471--487, 10(4)285--289, 14(5)553--566, 14(5)589--612,
14(5)613--630, 17(5)555--557, 17(5)585--600, 17(5)627--646,
21(6)613--633
-
product, anti-, 10(4)297--307
-
product, cross-, 13(3)247--261
-
production, 1(1)153--165
-
production, End-of-, 7(4)326--340
-
production, end-of-, 7(4)326--340
-
productivity, 15(1)65--84
-
Proença, José, 14(5)567--588,
see Wong, Peter Y. H.
-
profile, 8(2)113--127, 8(2)146--155, 8(2)167--176, 9(2)103--117
-
program, 2(1)6--12, 2(1)29--45, 2(1)46--67, 2(4)366--381, 3(1)93--105,
4(1)8--20, 4(1)71--91, 4(1)125--137, 5(1)49--58, 5(1)90--103,
5(2)205--220, 6(4)260--276, 8(3)177--179, 8(3)248--260,
8(4)321--335, 8(6)517--530, 9(1)89--101, 9(5)489--504,
10(2)131--144, 12(1)69--88, 12(3)183--199, 15(4)287--289,
15(4)321--336, 15(5)397--411, 15(5)475--495, 15(5)497--518,
16(1)49--65, 16(2)127--146, 16(3)315--334, 16(4)335--337,
16(4)363--380, 16(5)465--479, 16(5)531--542, 17(2)125--142,
18(4)359--374, 18(6)653--684, 19(1)97--114, 19(4)427--448,
19(5)535--547, 19(5)565--584, 19(6)697--716, 20(6)665--688,
20(6)739--769, 21(4)471--484, 21(5)545--565, 22(4)477--496,
22(6)709--728, 23(2)115--135, 23(5)741--763, 23(6)883--893,
24(5)843--888, 24(6)977--997, 25(1)77--94, 25(2)185--204,
25(4)431--452, 25(4)453--479, 25(4)521--539
-
program, Full-, 24(5)843--888
-
programming, 2(3)307--315, 3(2)217--234, 7(2)184--194, 13(4)377--395,
13(6)537--551, 19(4)449--464, 21(2)221--246, 23(1)89--104,
23(5)701--719, 25(2)185--204, 25(5)747--764
-
progress, 8(3)195--203
-
project, 3(4)372--381, 11(6)441--451, 15(1)1--8, 24(5)757--782
-
ProM, 24(4)549--561
-
PROMELA, 2(4)343--349, 2(4)394--409
-
Promela, 12(5)337--352
-
prone, defect-, 13(2)151--166
-
proof, 3(1)20--31, 4(2)189--210, 4(3)323--334, 5(2)237--246,
12(5)319--335, 13(3)263--272, 14(1)41--52, 15(4)291--303,
17(1)47--57, 19(5)535--547, 21(1)71--86, 24(5)691--715
-
proof-based, 11(3)217--238
-
Propagation, 25(2)167--184
-
property, 3(1)20--31, 4(1)34--56, 5(2)237--246, 6(2)158--173,
8(2)113--127, 8(6)547--563, 9(1)53--62, 9(1)89--101, 9(3)269--304,
9(3)371--391, 10(2)167--184, 10(5)443--454, 12(1)39--51,
13(4)319--335, 14(4)407--437, 15(3)247--268, 15(4)305--320,
17(2)171--185, 18(1)1--19, 18(2)169--185, 20(1)35--55, 20(1)79--93,
20(3)313--325, 20(6)705--737, 21(6)667--677, 22(5)601--615,
24(5)667--689, 24(6)949--972, 24(6)977--997, 25(2)185--204,
25(4)503--517, 25(5)641--658
-
property, CTL-, 9(1)77--88
-
property-based, 22(5)617--633
-
property-directed, 25(3)341--354
-
Property-driven, 16(5)465--479
-
propositions, 17(2)223--243
-
PROSPER, 4(2)189--210
-
protocol, 1(1)166--183, 2(1)68--88, 2(3)219--241, 2(4)343--349,
2(4)394--409, 3(4)469--485, 4(2)173--188, 4(2)234--245,
4(4)397--400, 5(2)221--236, 5(2)247--267, 7(4)297--315,
7(4)316--325, 7(4)341--350, 8(1)57--76, 9(1)63--76, 9(3)305--326,
9(3)371--391, 10(1)29--56, 12(1)39--51, 15(2)125--147,
18(2)187--204, 21(2)165--181, 24(5)757--782
-
protocol, i-, 4(4)505--528
-
protocol-extension, 18(6)685--706
-
Protos2CPN, 10(1)95--110
-
prototypes, 17(1)91--105
-
prototyping, 5(4)370--390, 16(1)67--80
-
Provably, 18(6)653--684
-
prove, 18(1)67--91, 23(5)827--827, 25(2)185--204
-
Proved, 12(1)39--51
-
proven, 5(2)237--246
-
prover, 3(1)13--19, 3(1)32--65, 13(5)419--429, 24(1)67--87
-
proving, 3(1)1--12, 8(2)97--112, 8(4)303--319, 8(4)359--371,
8(4)411--430, 10(6)521--534
-
public, 20(3)289--311
-
publishash, 6(3)219--230
-
publisher, 25(2)219--239, 25(5)799--800
-
Puett, J., 5(4)370--390
-
Puett, J., see Luqi
-
Pugliese, Rosario, 25(5)747--764
-
Pugliese, Rosario, see Bettini, Lorenzo
-
Pulungan, Reza, 17(1)77--90
-
Pulungan:2015:CMS, 17(1)77--90
-
Pump, 5(4)308--319
-
Puri, Anuj, 2(3)270--278
-
Puri, Anuj, see Holzmann, Gerard J.
-
purpose, 11(3)261--267, 13(1)21--35
-
Pushdown, 16(2)147--173
-
Putting, 8(4)411--430