Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Verificación")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 19586

  • Page / 784
Export

Selection :

  • and

Model checking software (San Francisco CA, 22-24 August 2005)Godefroid, Patrice.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28195-9, XI, 287 p, isbn 3-540-28195-9Conference Proceedings

YASM : A software model-checker for verification and refutationGURFINKEL, Arie; OU WEI; CHECHIK, Marsha et al.Lecture notes in computer science. 2006, pp 170-174, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 5 p.Conference Paper

SPLAT : A tool for model-checking and dynamically-enforcing abstractionsMADHAVAPEDDY, Anil; SCOTT, David; SHARP, Richard et al.Lecture notes in computer science. 2005, pp 277-281, issn 0302-9743, isbn 3-540-28195-9, 5 p.Conference Paper

Automated Compositional VerificationGIANNAKOPOULOU, Dimitra; PASAREANU, Corina S.IET software (Print). 2010, Vol 4, Num 3, issn 1751-8806, 58 p.Serial Issue

Model checking software (13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006)Valmari, Antti.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-33102-6, 1Vol, X-305 p, isbn 3-540-33102-6Conference Proceedings

Learning-based assume-guarantee verification (tool paper)GIANNAKOPOULOU, Dimitra; PASAREANU, Corina S.Lecture notes in computer science. 2005, pp 282-287, issn 0302-9743, isbn 3-540-28195-9, 6 p.Conference Paper

Verification, model checking, and abstract interpretation (7th international conference, VMCAI 2006, Charleston SC, USA, January 8-10, 2006)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-31139-4, 1Vol, XI-442 p, isbn 3-540-31139-4Conference Proceedings

An efficiently checkable, proof-based formulation of vacuity in model checkingNAMIOSHI, Kedar S.Lecture notes in computer science. 2004, pp 57-69, issn 0302-9743, isbn 3-540-22342-8, 13 p.Conference Paper

A Decade of Software Model Checking with SLAMBALL, Thomas; LEVIN, Vladimir; RAJAMANI, Sriram K et al.Communications of the ACM. 2011, Vol 54, Num 7, pp 68-76, issn 0001-0782, 9 p.Article

MCK: Model Checking the logic of KnowledgeGAMMIE, Peter; VAN DER MEYDEN, Ron.Lecture notes in computer science. 2004, pp 479-483, issn 0302-9743, isbn 3-540-22342-8, 5 p.Conference Paper

Applications of craig interpolation to model checkingMCMILLAN, Kenneth.Lecture notes in computer science. 2005, pp 15-16, issn 0302-9743, isbn 3-540-26301-2, 2 p.Conference Paper

Nouvelles techniques de model-checking pour la vérification de systèmes complexes = New techniques of model checking for the complex system verificationTHIERRY-MIEG, Yann; BAARIR, Soheib; DURET-LUTZ, Alexandre et al.Génie logiciel (1995). 2004, Num 69, pp 17-23, issn 1265-1397, 7 p.Article

Zing: A model checker for concurrent softwareANDREWS, Tony; QADEER, Shaz; RAJAMANI, Sriram K et al.Lecture notes in computer science. 2004, pp 484-487, issn 0302-9743, isbn 3-540-22342-8, 4 p.Conference Paper

VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005)Cousot, Radhia.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-24297-X, XI, 481 p, isbn 3-540-24297-XConference Proceedings

Applying model checking techniques to game solvingKWON, Gihwon.Lecture notes in computer science. 2004, pp 290-303, issn 0302-9743, isbn 3-540-21975-7, 14 p.Conference Paper

Symbolic Execution for Software Testing: Three Decades LaterCADAR, Cristian; SEN, Koushik.Communications of the ACM. 2013, Vol 56, Num 2, pp 82-90, issn 0001-0782, 9 p.Article

A verification model for electronic transaction protocolsQINGFENG CHEN; CHENGQI ZHANG; SHICHAO ZHANG et al.Lecture notes in computer science. 2004, pp 824-833, issn 0302-9743, isbn 3-540-21371-6, 10 p.Conference Paper

Symbolic compositional verification by learning assumptionsALUR, Rajeev; MADHUSUDAN, P; NAM, Wonhong et al.Lecture notes in computer science. 2005, pp 548-562, issn 0302-9743, isbn 3-540-27231-3, 15 p.Conference Paper

Software Model Checking Takes OffMILLER, Steven P; WHALEN, Michael W; COFER, Darren D et al.Communications of the ACM. 2010, Vol 53, Num 2, pp 58-64, issn 0001-0782, 7 p.Article

A complete abstract interpretation framework for coverability properties of WSTSGANTY, Pierre; RASKIN, Jean-Francois; VAN BEGIN, Laurent et al.Lecture notes in computer science. 2006, pp 49-64, issn 0302-9743, isbn 3-540-31139-4, 1Vol, 16 p.Conference Paper

Image computation in infinite state model checkingFINKEL, Alain; LEROUX, Jérome.Lecture notes in computer science. 2004, pp 361-371, issn 0302-9743, isbn 3-540-22342-8, 11 p.Conference Paper

Static analysis versus software model checking for bug findingENGLER, Dawson; MUSUVATHI, Madanlal.Lecture notes in computer science. 2004, pp 191-210, issn 0302-9743, isbn 3-540-20803-8, 20 p.Conference Paper

The Mec 5 model-checkerGRIFFAULT, Alain; VINCENT, Aymeric.Lecture notes in computer science. 2004, pp 488-491, issn 0302-9743, isbn 3-540-22342-8, 4 p.Conference Paper

Reducing the lengths of checking sequences by overlappingURAL, Hasan; FAN ZHANG.Lecture notes in computer science. 2006, pp 274-288, issn 0302-9743, isbn 3-540-34184-6, 1Vol, 15 p.Conference Paper

Model checking genetic regulatory networks using GNA and CADPBATT, Grégory; BERGAMINI, Damien; DE JONG, Hidde et al.Lecture notes in computer science. 2004, pp 158-163, issn 0302-9743, isbn 3-540-21314-7, 6 p.Conference Paper

  • Page / 784