Search Results - "Software/Program Verification—Formal Methods"
-
1
Authors:
Source: FMSPLE 2016-Formal Methods and Analysis in Software Product Line Engineering, pp. 61–75, Eindhoven, The Netherlands, 3 April 2016
info:cnr-pdr/source/autori:Ter Beek M.H.; De Vink E.P.; Willemse T.A./congresso_nome:FMSPLE 2016-Formal Methods and Analysis in Software Product Line Engineering/congresso_luogo:Eindhoven, The Netherlands/congresso_data:3 April 2016/anno:2016/pagina_da:61/pagina_a:75/intervallo_pagine:61–75
Electronic Proceedings in Theoretical Computer Science, Vol 206, Iss Proc. FMSPLE 2016, Pp 61-75 (2016)Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, mu-calculus with features, Featured Transition Systems, Family-based model checking, QA75.5-76.95, 02 engineering and technology, Software/Program Verification. Model checking, Reusable Software. Domain engineering, Software/Program Verification. Formal methods, Logic in Computer Science (cs.LO), Electronic computers. Computer science, Behavioral SPL models, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics
File Description: application/pdf
Access URL: https://arxiv.org/pdf/1604.00350
http://arxiv.org/abs/1604.00350
https://doaj.org/article/2c2c7af3c9a74e1f9f5197ec5b55d576
https://www.arxiv.org/abs/1604.00350
https://arxiv.org/pdf/1604.00350.pdf
https://ui.adsabs.harvard.edu/abs/2016arXiv160400350T/abstract
https://hdl.handle.net/20.500.14243/315796
http://eptcs.web.cse.unsw.edu.au/paper.cgi?FMSPLE2016.6
https://doi.org/10.4204/EPTCS.206.6 -
2
Authors:
Source: Electronic Proceedings in Theoretical Computer Science, Vol 258, Iss Proc. CoALP-Ty 2016, Pp 36-51 (2017)
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, QA75.5-76.95, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Computer Science - Distributed, Parallel, and Cluster Computing, Electronic computers. Computer science, D.1.3 Concurrent Programming---Parallel programming, D.2.4 Software/Program Verification---Formal methods, D.3.1 Formal Definitions and Theory---Semantics, F.3.2 Semantics of Programming Languages---Denotational semantics---Operational semantics---Process, QA1-939, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics, Mathematics, Programming Languages (cs.PL)
Access URL: https://arxiv.org/pdf/1709.04714
http://arxiv.org/abs/1709.04714
https://doaj.org/article/15158e0a85a14927bdf0b8076f88930b
https://arxiv.org/pdf/1709.04714
https://arxiv.org/abs/1709.04714
http://ui.adsabs.harvard.edu/abs/2017arXiv170904714I/abstract
https://cronfa.swan.ac.uk/Record/cronfa33725/Download/0033725-12072017230838.pdf
https://arxiv.org/abs/1709.04714v1
https://cronfa.swan.ac.uk/Record/cronfa33725
https://cronfa.swan.ac.uk/Record/cronfa33725/Download/0033725-12072017230838.pdf -
3
Authors: et al.
Source: pp. 126–144. Hershey: IGI Global, 2013
info:cnr-pdr/source/autori:Ferrari A.; Magnani, Gianluca; Grasso, Daniele; Fantechi A.; Tempestini, Matteo/titolo:Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer/titolo_volume:/curatori_volume:/editore: /anno:2013
International journal of embedded and real-time communication systems (Online) 2 (2011): 42–61. doi:10.4018/jertcs.2011040103
info:cnr-pdr/source/autori:Ferrari A., Magnani G., Grasso D., Fantechi A., Tempestini M./titolo:Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer/doi:10.4018%2Fjertcs.2011040103/rivista:International journal of embedded and real-time communication systems (Online)/anno:2011/pagina_da:42/pagina_a:61/intervallo_pagine:42–61/volume:2Subject Terms: model-based testing, Model based testing, Model-Based Testing, Abstract Interpretation, industrial experience, 0202 electrical engineering, electronic engineering, information engineering, D.2.4 Software/Program Verification. Formal Methods, abstract interpretation, 02 engineering and technology, communication systems, Safety-Critical Software, Code Generation, Railway Signalling
File Description: application/pdf
Access URL: https://dblp.uni-trier.de/db/journals/ijertcs/ijertcs2.html#FerrariMGFT11
https://www.igi-global.com/chapter/adoption-model-based-testing-abstract/74245
https://hdl.handle.net/20.500.14243/21705
https://doi.org/10.4018/jertcs.2011040103
http://www.scopus.com/record/display.url?eid=2-s2.0-84949487428&origin=inward
https://hdl.handle.net/20.500.14243/315063
https://doi.org/10.4018/978-1-4666-2776-5.ch007
https://hdl.handle.net/2158/606302
https://doi.org/10.4018/jertcs.2011040103 -
4
Authors:
Source: ACM Transactions on Software Engineering and Methodology. 23:1-37
Subject Terms: PVS, 2. Zero hunger, Alloy, 0102 computer and information sciences, 0101 mathematics, 16. Peace & justice, Software/Program Verification Formal Methods, Design Verification, 01 natural sciences
File Description: application/pdf
-
5
Authors: et al.
Source: Science of computer programming
76 (2011): 119–135. doi:10.1016/j.scico.2010.07.002
info:cnr-pdr/source/autori:ter Beek, M. H.; Fantechi, A.; Gnesi, S.; Mazzanti, F./titolo:A state%2Fevent-based model-checking approach for the analysis of abstract system properties/doi:10.1016%2Fj.scico.2010.07.002/rivista:Science of computer programming (Print)/anno:2011/pagina_da:119/pagina_a:135/intervallo_pagine:119–135/volume:76Subject Terms: Model checking, Service-oriented computing, UML State machines, Formal methods, Temporal logic, D.2.4 Software/Program Verification. Model Checking, 0102 computer and information sciences, 02 engineering and technology, State machines, 01 natural sciences, UML, D.2.4 Software/Program Verification. Formal methods, Automotive systems Service-oriented computing, 0202 electrical engineering, electronic engineering, information engineering, Automotive systems, Software, F.4.1 Mathematical Logic. Temporal logic
File Description: application/pdf
Access URL: https://hdl.handle.net/20.500.14243/21607
https://doi.org/10.1016/j.scico.2010.07.002
http://www.sciencedirect.com/science/article/pii/S0167642310001498
http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6V17-50NBNJ5-2&_user=8746464&_coverDate=02/01/2011&_rdoc=1&_fmt=high&_orig=search&_origin=search&_sort=d&_docanchor=&view=c&_acct=C000031418&_version=1&_urlVersion=0&_userid=8746464&md5=e4483ebd7ac6c7f90fde54f4200cdfe0&searchtype=a
https://hdl.handle.net/2158/402310 -
6
Authors: et al.
Contributors: et al.
Source: Proceedings of the 14th International Workshop on Termination (WST) ; 14th International Workshop on Termination (WST) ; https://hal.univ-reunion.fr/hal-01451692 ; 14th International Workshop on Termination (WST), Jul 2014, Vienne, Austria. pp.65-69
Subject Terms: 1998 ACM Subject Classification D24 Software/Program Verification (Formal methods), F31 Specifying and Verifying and Reasoning about Programs (Mechanical verification), F32 Se-mantics of Programming Languages (Program analysis) Keywords and phrases Non-Termination, Android, Dalvik, Constraint Logic Programming, [INFO]Computer Science [cs]
-
7
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 856–873, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Reniers M. A.; De Vink E. P./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:856/pagina_a:873/intervallo_pagine:856–873Subject Terms: I.2.8 ARTIFICIAL INTELLIGENCE. Problem Solving, and Search. Control theory, Control Methods, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Model checking, 0202 electrical engineering, electronic engineering, information engineering, Controller Synthesis, Correctness-by-Construction, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Formal methods, 02 engineering and technology, Supervisory Controller, Software Product Lines
File Description: application/pdf
Access URL: https://ir.cwi.nl/pub/25175/25175.pdf
https://research.tue.nl/en/publications/821c9bda-4563-4e7d-a106-27ef479a5c8e
https://doi.org/10.1007/978-3-319-47166-2_59
https://www.narcis.nl/publication/RecordID/oai%3Apure.tue.nl%3Apublications%2F821c9bda-4563-4e7d-a106-27ef479a5c8e
http://doi.org/10.1007/978-3-319-47166-2_59
https://doi.org/10.1007/978-3-319-47166-2_59
https://link.springer.com/chapter/10.1007%2F978-3-319-47166-2_59
https://core.ac.uk/display/86350892
https://research.tue.nl/en/publications/supervisory-controller-synthesis-for-product-lines-using-cif3
https://hdl.handle.net/20.500.14243/321031
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_59
https://doi.org/10.1007/978-3-319-47166-2_59 -
8
Authors:
Source: info:cnr-pdr/source/autori:Ter Beek M. H.; Loreti M. (eds.)/titolo:Preface. Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems/editore:/anno:2016
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Software engineering, Computer Science - Performance, Software Engineering, 0102 computer and information sciences, 02 engineering and technology, Formal Methods, 01 natural sciences, Software/Program Verification. Formal methods, Logic in Computer Science (cs.LO), Performance (cs.PF), Software Engineering (cs.SE), Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, Mathematical Logic, Collective Adaptive Systems
File Description: application/pdf
Access URL: http://arxiv.org/abs/1607.02001
https://pubblicazioni.unicam.it/handle/11581/405873
https://www.arxiv.org/abs/1607.02001
http://ui.adsabs.harvard.edu/abs/2016arXiv160702001T/abstract
https://128.84.21.199/abs/1607.02001
http://arxiv.org/pdf/1607.02001.pdf
https://arxiv.org/html/1607.02001v1
https://hdl.handle.net/20.500.14243/318213
https://doi.org/10.4204/EPTCS.217
https://hdl.handle.net/11581/405873
https://doi.org/10.4204/EPTCS.217 -
9
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7 th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8Subject Terms: F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Algebraic approaches to semantics, Statistical model checking, Markov processes, Software Product Lines, G.3 PROBABILITY AND STATISTICS, Programming languages, compilers, interpreters, Software engineering techniques, Quantitative Constraints, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Formal methods, Statistical Model Checking, D.2.13 SOFTWARE ENGINEERING. Reusable Software. Domain engineering, 02 engineering and technology, [INFO] Computer Science [cs], Artificial intelligence (incl. robotics), F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Process models, F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Model checking, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Statistical methods, Logics and meanings of programs, 0202 electrical engineering, electronic engineering, information engineering, Computation by abstract devices, Mathematical logic and formal languages, Probabilistic Models
File Description: application/pdf
Access URL: https://backend.orbit.dtu.dk/ws/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://inria.hal.science/hal-01406531v1
https://link.springer.com/10.1007/978-3-319-47166-2_8
https://hal.inria.fr/hal-01406531
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekLLV16
https://hal.inria.fr/hal-01406531/document
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_8/fulltext.html
https://orbit.dtu.dk/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://hdl.handle.net/20.500.14243/321030
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8
https://orbit.dtu.dk/en/publications/d09e64ef-2992-4962-9fab-b03a87e3986c
https://hdl.handle.net/11382/534305
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8 -
10
Authors:
Source: FMASPLE-SPLC'13-17th International Software Product Line Conference co-located Workshop on Formal Methods and Analysis in Software Product Line Engineering, pp. 10–17, Tokyo, Japan, 26-30 August 2013
info:cnr-pdr/source/autori:Ter Beek M. H.; Lluch Lafuente A.; Petrocchi M./congresso_nome:FMASPLE-SPLC'13-17th International Software Product Line Conference co-located Workshop on Formal Methods and Analysis in Software Product Line Engineering/congresso_luogo:Tokyo, Japan/congresso_data:26-30 August 2013/anno:2013/pagina_da:10/pagina_a:17/intervallo_pagine:10–17
ACM International Conference Proceeding SeriesSubject Terms: Maude, Model checking, Product families, QA75 Electronic computers. Computer science, Process algebra, 02 engineering and technology, Concurrent constraint programming, D.2.4 Software/Program Verification. Formal methods, Behavioural analyses, D.2.4 Software/Program Verification. Model checking, Validation, D.2.4 Software/Program Verification. Validation, 0202 electrical engineering, electronic engineering, information engineering, Variability
File Description: application/pdf
Access URL: http://eprints.imtlucca.it/1589/1/paper.pdf
https://dblp.uni-trier.de/db/conf/splc/splc2013w.html#BeekLP13
https://dl.acm.org/citation.cfm?doid=2499777.2500722
http://fmt.isti.cnr.it/~mtbeek/FMSPLE13.pdf
http://fmt.isti.cnr.it/~mtbeek/slidesTokyo.pdf
https://dl.acm.org/doi/10.1145/2499777.2500722
https://core.ac.uk/display/18435001 -
11
Authors:
Source: Formal aspects of computing 10 (1998): 405–434. doi:10.1007/s001650050024
info:cnr-pdr/source/autori:Faconti G.; Massink M./titolo:Modelling and verification of PREMO synchronizable objects/doi:10.1007%2Fs001650050024/rivista:Formal aspects of computing/anno:1998/pagina_da:405/pagina_a:434/intervallo_pagine:405–434/volume:10
info:cnr-pdr/source/autori:Faconti G.; MASSINK M./titolo:Modelling and verification of PREMO synchronisable objects/doi:10.1007%2Fs001650050024/rivista:Formal aspects of computing/anno:1998/pagina_da:405/pagina_a:434/intervallo_pagine:405–434/volume:10Subject Terms: Model checking, Formal modelling, Network design and communication in computer systems, Media synchronisation, PREMO, Software/program verification. Formal methods, 0102 computer and information sciences, 02 engineering and technology, Refinement, 01 natural sciences, Process Calculi, Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.), 0202 electrical engineering, electronic engineering, information engineering, Multimedia presentation
File Description: application/xml; application/pdf
-
12
Authors: et al.
Source: IEEE European Conference on Web Services (ECOWS'07), pp. 287–296, Zurich, Switzerland, 04-06/12/2006
info:cnr-pdr/source/autori:Ter Beek M., Gnesi S., Mazzanti F., Moiso C./congresso_nome:IEEE European Conference on Web Services (ECOWS'07)/congresso_luogo:Zurich, Switzerland/congresso_data:04-06%2F12%2F2006/anno:2006/pagina_da:287/pagina_a:296/intervallo_pagine:287–296
ISTI Technical reports, 2006
Forth IEEE European Conference on Web Services ECOWS'06, pp. 287–296, Zurich, Switzerland, 4-6 December 2006
info:cnr-pdr/source/autori:Maurice H. ter Beek; Stefania Gnesi; Franco Mazzanti; Corrado Moiso/congresso_nome:Forth IEEE European Conference on Web Services ECOWS'06/congresso_luogo:Zurich, Switzerland/congresso_data:4-6 December 2006/anno:2006/pagina_da:287/pagina_a:296/intervallo_pagine:287–296Subject Terms: formal specification, Model checking, Formal methods, Simple object access protocol, Network protocol, formal verification, SOAP protocol, UMC model checker, D.2.4 Software/Program Verification . Formal Methods, Model Checking, Web services
File Description: application/pdf
Access URL: http://fmt.isti.cnr.it/~mtbeek/TRasoap.pdf
https://publications.cnr.it/doc/91325
http://fmt.isti.cnr.it/~mtbeek/asoap.pdf
http://www.cnr.it/prodotto/i/91325
http://www.cnr.it/prodotto/i/160311
https://publications.cnr.it/doc/160311
https://ieeexplore.ieee.org/document/4031172/
http://fmt.isti.cnr.it/~mtbeek/ecows06.pdf
https://dblp.uni-trier.de/db/conf/ecows/ecows2006.html#BeekGMM06
https://www.computer.org/csdl/proceedings-article/ecows/2006/27370287/12OmNAYoKon
http://fmt.isti.cnr.it/WEBPAPER/asoap.pdf
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004031172
http://fmt.isti.cnr.it/~mtbeek/asoap.pdf
https://hdl.handle.net/20.500.14243/61488
https://hdl.handle.net/20.500.14243/14962
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4031172
https://doi.org/10.1109/ECOWS.2006.22 -
13
Authors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783662492239
Software Engineering and Formal Methods, edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe, pp. 266–280, 2015
info:cnr-pdr/source/autori:Ter Beek M. H.; Gnesi S.; Latella D.; Massink M./titolo:Towards automatic decision support for bike-sharing system design/titolo_volume:Software Engineering and Formal Methods/curatori_volume:Domenico Bianculli, Radu Calinescu, Bernhard Rumpe/editore:/anno:2015Subject Terms: Multi-objective ptimisation, Probability and Statistics. Markov processes, 11. Sustainability, Probabilistic temporal logic, Software/Program Verification. Model checking, Bike-sharing systems, Variability analysis, Mean field model checking, Software/Program Verification. Formal methods
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Source: 18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006).
https://hal.science/hal-00633908
18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩Subject Terms: CARE properties, proof based technique, verification/validation, Multi-modal HCI, vérification sur modèles, techniques formelles fondées sur la preuve, propriétés CARE, IHM multi-modales, H.5.m [Information Interfaces and Presentation (e.g, HCI)] : Miscellaneous, H.5.2 [User Interfaces] : User-centered design, D.2.4 [Software Engineering] : Software/Program Verification - formal methods, validation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]
Subject Geographic: Montréal
Time: Montréal, Canada
-
15
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Tech- niques, D.2.4 [Software Engineering, Software/Program Verification—Formal methods, Model checking, Validation, D.2.13 [Software Engineering, Reusable Software—Do- main engineering General Terms Design, Experimentation, Verification Keywords Product families, Variability, Behavioral analysis, Modular verification
File Description: application/pdf
-
16
Authors:
Contributors:
Subject Terms: H.4 [Information Systems Applications, Miscellaneous, D.2.4 [Software Engineering, Software/Program Verification—formal methods, programming by contract General Terms Verification Keywords Frame axiom, modifies clause, separation logic, dynamic frames, region logic, formal methods, Dafny language, DafnyR language
File Description: application/pdf
-
17
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783319107011
FMICS 2014-Formal Methods for Industrial Critical Systems. 19th International Conference, pp. 94–108, Florence, Italy, 11-12 September 2014
info:cnr-pdr/source/autori:Bonacchi A.; Fantechi A./congresso_nome:FMICS 2014-Formal Methods for Industrial Critical Systems. 19th International Conference/congresso_luogo:Florence, Italy/congresso_data:11-12 September 2014/anno:2014/pagina_da:94/pagina_a:108/intervallo_pagine:94–108Subject Terms: D.2.4 Software/Program Verification. Formal methods, Model checking, Railway Signalling Systems, Interlocking systems, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
File Description: application/pdf
Access URL: https://link.springer.com/content/pdf/10.1007/978-3-319-10702-8_7.pdf
https://dblp.uni-trier.de/db/conf/fmics/fmics2014.html#BonacchiF14
https://link.springer.com/chapter/10.1007/978-3-319-10702-8_7
https://rd.springer.com/chapter/10.1007/978-3-319-10702-8_7
https://hdl.handle.net/20.500.14243/272347
https://doi.org/10.1007/978-3-319-10702-8_7
http://link.springer.com/chapter/10.1007/978-3-319-10702-8_7#page-1 -
18
Authors:
Source: info:cnr-pdr/source/autori:Massink M., Norman G., Wiklicky H./titolo:Quantitative Aspects of Programming Languages and Systems (2011-12). Preface/editore:/anno:2014
Subject Terms: D.2.4 Software/Program Verification. Formal methods
File Description: application/pdf
-
19
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.1 [Software Engineering, Requirements/Specification—Languages, D.2.4 [Software Engineering, Software / Program Verification—Formal methods, I.6.2 [Computing Methodologies, Simulation and Modelling—Simulation Languages General Terms Languages, Verification Keywords Data-Flow Languages, Hybrid Systems, Hybrid Automata, Verification
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.393.9121; http://hal.inria.fr/docs/00/74/98/91/PDF/paper.pdf
-
20
Authors:
Contributors:
Subject Terms: ing, Software/Program Verification—Formal methods General Terms Verification Keywords Symbolic execution, MPI, message-passing, debug- ging
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.652.3247; http://vsl.cis.udel.edu/downloads/tass_ppopp_2011.pdf
Full Text Finder 
Nájsť tento článok vo Web of Science