{"entities":{"Q1604007":{"pageid":1614747,"ns":120,"title":"Item:Q1604007","lastrevid":67968465,"modified":"2026-04-12T20:33:32Z","type":"item","id":"Q1604007","labels":{"en":{"language":"en","value":"Verification, model; checking, and abstract interpretation. 3rd international workshop, VMCAI 2002, Venice, Italy, January 21--22, 2002. Revised papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1762472"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604007$CFBB908E-9CE8-4881-914C-585451A957DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fb727a1badca9be7837e6c996578944e5db3691","datavalue":{"value":{"text":"Verification, model; checking, and abstract interpretation. 3rd international workshop, VMCAI 2002, Venice, Italy, January 21--22, 2002. Revised papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1604007$7305D149-C678-467E-BD1A-758EDEC27F06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"582ae572bf4524b908d7c9d19ec80fea9cbb1e00","datavalue":{"value":"0989.00056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604007$7AB01872-150B-4EB2-9612-9C81CC7D993D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71b4ae8a1ae15c0ef13e87e9548643e7889d8a71","datavalue":{"value":"10.1007/3-540-47813-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604007$7298658B-3BD4-4A10-BCD4-2F3478404F79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604007$ACBF80D0-8C0A-4096-8DE3-0FBFCF59DBE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"274c9f42afbb798f6ad23f874ead576e8a013675","datavalue":{"value":{"time":"+2002-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1604007$33F685EE-5B1F-48D0-B398-55EA4DBEB291","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f79f427f6a83bf9fb8f341c49d245463739f4fa","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Focardi, Riccardo; Piazza, Carla; Rossi, Sabina}, Proofs methods for bisimulation based information flow security, 16-31 [Zbl 1057.68065]  \\textit{Barthe, Gilles; Dufay, Guillaume; Jakubiec, Line; Melo de Sousa, Sim\u00e3o}, A formal correspondence between offensive and defensive JavaCard virtual machines, 32-45 [Zbl 1057.68571]  \\textit{Shyamasundar, R. K.}, Analyzing cryptographic protocols in a reactive framework, 46-64 [Zbl 1057.68615]  \\textit{Tan, Li}, An abstract schema for equivalence-checking games, 65-78 [Zbl 1057.68072]  \\textit{Sidorova, Natalia; Steffen, Martin}, Synchronous closing of timed SDL systems for model checking, 79-93 [Zbl 1057.68634]  \\textit{Faella, Marco; La Torre, Salvatore; Murano, Aniello}, Automata-theoretic decision of timed games, 94-108 [Zbl 1057.68057]  \\textit{Charatonik, Witold; Mukhopadhyay, Supratik; Podelski, Andreas}, Compositional termination analysis of symbolic forward analysis, 109-125 [Zbl 1057.68622]  \\textit{Genaim, Samir; Codish, Michael; Gallagher, John; Lagoon, Vitaly}, Combining norms to prove termination, 126-138 [Zbl 1057.68585]  \\textit{Murawski, Andrzej S.; Yi, Kwangkeun}, Static monotonicity analysis for \\(\\lambda\\)-definable functions over lattices, 139-153 [Zbl 1057.68577]  \\textit{Hill, Patricia M.; Spoto, Fausto}, A refinement of the escape property, 154-166 [Zbl 1057.68586]  \\textit{Tron\u00e7on, Remko; Bruynooghe, Maurice; Janssens, Gerda; Catthoor, Francky}, Storage size reduction by in-place mapping of arrays, 167-181 [Zbl 1057.68597]  \\textit{Krstic, Sava; Matthews, John}, Verifying BDD algorithms through monadic interpretation, 182-195 [Zbl 1057.68629]  \\textit{Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto}, Improving the encoding of LTL model checking into SAT, 196-207 [Zbl 1057.68056]  \\textit{Zuck, Lenore; Pnueli, Amir; Kesten, Yonit}, Automatic verification of probabilistic free choice, 208-224 [Zbl 1057.68644]  \\textit{Gori, Roberta; Levi, Giorgio}, An experiment in type inference and verification by abstract interpretation, 225-239 [Zbl 1057.68576]  \\textit{La Torre, Salvatore; Murano, Aniello; Napoli, Margherita}, Weak Muller acceptance conditions for tree automata, 240-254 [Zbl 1057.68049]  \\textit{Coppo, Mario; Dezani-Ciancaglini, Mariangiola}, A fully abstract model for higher-order mobile ambients, 255-271 [Zbl 1057.68640]  \\textit{Tiplea, Ferucio Laurentiu; Tiplea, Aurora}, A simulation preorder for abstraction of reactive systems, 272-288 [Zbl 1057.68073]  \\textit{Harding, Aidan; Ryan, Mark; Schobbens, Pierre-Yves}, Approximating ATL\\(^*\\) in ATL, 289-301 [Zbl 1057.68059]  \\textit{Huth, Michael}, Model checking modal transition systems using Kripke structures, 302-316 [Zbl 1057.68066]  \\textit{Baukus, Kai; Lakhnech, Yassine; Stahl, Karsten}, Parameterized verification of a cache coherence protocol: Safety and liveness, 317-330 [Zbl 1057.68620]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604007$B8AD0A88-83C8-436C-8612-29C8F9CC4B3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604007$601EACA1-37A8-49F6-8912-20979D354218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604007$C5FC631B-CAC5-435E-8402-7B69D5FFE1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604007$CEC5A7A8-5937-4538-8E52-5D06555C70EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"736769c88e75395f3addafdbe32694d91f5e0c1c","datavalue":{"value":"1762472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604007$BBE0B4F8-5313-4C5E-A55D-6D46B52390E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7ff15db1cd0b942e1980d788e048362212b758","datavalue":{"value":"Venice (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604007$F83499C2-E53E-4887-8A0E-C2B319A28885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1cfe28c346d814735dd52972c178c02b57d315","datavalue":{"value":"Papers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604007$7BCFA9FB-E773-45A9-97EC-39D03F871AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604007$BB16511B-E159-4EC9-AE7D-1CF65608F564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604007$F6FB6B89-E89E-4FF9-B8EC-96C3C6E0D7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604007$3067E52A-E02C-4E1C-A8A9-155F40E6C293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604007$C85E1879-3DB3-4232-9CF6-0FAB90DA8CA2","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604007$6A54A147-D030-4BC0-976B-BA428CCCD5CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea52de678f26d5d2ed17bce1698a832b436ff9f5","datavalue":{"value":"https://doi.org/10.1007/3-540-47813-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1604007$283E9564-8C05-429A-989A-68A923942484","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d070e67e82804d515bda2bafb26b48e643b92746","datavalue":{"value":"W4376583509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604007$6AA52F85-3419-4202-9E2B-433609D85170","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b395d8b15aad42ed94f7d9a308cac828d97182","datavalue":{"value":{"entity-type":"item","numeric-id":1422161,"id":"Q1422161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4ef5f5d2bddacd5775070bb37cea96a81416fb","datavalue":{"value":{"amount":"+0.96380866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1604007$2D64EEC7-AADC-4553-A5BF-175F8CC46B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31702a235fb47f6de8a837744f1aaa8b71a58f97","datavalue":{"value":{"entity-type":"item","numeric-id":1811538,"id":"Q1811538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa84e3f61c509808e3bb1eaca1cd13f73607ab27","datavalue":{"value":{"amount":"+0.9477159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1604007$3E7F86FA-1FBF-4308-BBAA-3C1B871EB161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0e237cfad8ad58ae67b6b888ffefda5dd8c118","datavalue":{"value":{"entity-type":"item","numeric-id":467043,"id":"Q467043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f077569a720b9b75dbf1ae0e7189944c36e97c64","datavalue":{"value":{"amount":"+0.9465259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1604007$BDC4ADDC-6664-463F-AC5D-4B2E924BEBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc104e5559ffc7415f001c4c538985f3c05674d7","datavalue":{"value":{"entity-type":"item","numeric-id":664860,"id":"Q664860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8938b280b848009b578a1a0d4c913e3f2871da","datavalue":{"value":{"amount":"+0.9406608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1604007$42E99C79-EDED-4BBE-9648-E6855DE9973C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915a67b0751a2305351d0841efe84845ac4cf726","datavalue":{"value":{"entity-type":"item","numeric-id":2388709,"id":"Q2388709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d85e9b03c5a3d89eb894044ac2dab67772ecad2","datavalue":{"value":{"amount":"+0.93200445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1604007$8548A435-59DA-4C60-8756-D201BD5E895F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fafc64e9a869493416b302571c6773ef1e79d06e","datavalue":{"value":{"entity-type":"item","numeric-id":2118710,"id":"Q2118710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6edbe8f8329585791f0b3ebd58e913fcf5317f1","datavalue":{"value":{"amount":"+0.9306926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1604007$92E3BD57-61D0-406F-BB04-3B91B2201769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5d2022dfabace9c69d100d2540618c1aaabd2d","datavalue":{"value":{"entity-type":"item","numeric-id":2479562,"id":"Q2479562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61534ea6e4b5fdf3a434083949f6a19be16a87f","datavalue":{"value":{"amount":"+0.9295775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1604007$D01540CF-F0D4-4A5F-8450-EAC0AD75E033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d3434363340a35098e9eb6be1a71221e2928ad","datavalue":{"value":{"entity-type":"item","numeric-id":619665,"id":"Q619665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58acaeefad690130b465d5c37264914c4c72219","datavalue":{"value":{"amount":"+0.9272884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1604007$32FB341E-E7D7-4F82-B331-E87EA2DF33E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582a32e5ce40a5327d2b8c9450af832fea838734","datavalue":{"value":{"entity-type":"item","numeric-id":2508305,"id":"Q2508305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15ad96b853f25fcae41c1b819e819f2ee9543e3f","datavalue":{"value":{"amount":"+0.9257803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1604007$D71D2515-A08E-4CC0-9F1A-B99D522A3EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a96920c8936b62dcfa2fab97fa3e07d73943443","datavalue":{"value":{"entity-type":"item","numeric-id":2287642,"id":"Q2287642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41468735abd9136a13eeccc4a23a483cec80dbfc","datavalue":{"value":{"amount":"+0.9249822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1604007$4C678C0E-18A1-4BEF-9FBB-A43E48741F13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, model; checking, and abstract interpretation. 3rd international workshop, VMCAI 2002, Venice, Italy, January 21--22, 2002. Revised papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification,_model;_checking,_and_abstract_interpretation._3rd_international_workshop,_VMCAI_2002,_Venice,_Italy,_January_21--22,_2002._Revised_papers"}}}}}