Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Vérification")

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 24261

  • Page / 971
Export

Selection :

  • and

Mechanized formal methods : Where next?RUSHBY, J.Lecture notes in computer science. 1999, pp 48-51, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Coverage metrics for formal verification : Recent advances in hardware verificationCHOCKLER, Hana; KUPFERMAN, Orna; VARDI, Moshe et al.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 4-5, pp 373-386, issn 1433-2779, 14 p.Conference Paper

Constrained symbolic simulation with Mathematica and ACL2AL SAMMANE, Ghiath; TOMA, Diana; SCHMALTZ, Julien et al.Lecture notes in computer science. 2003, pp 150-157, issn 0302-9743, isbn 3-540-20363-X, 8 p.Conference Paper

A translation of Statecharts to EsterelSEBIS, S. A; SHYAMASUNDAR, R. K; BHATTACHARJEE, A. K et al.Lecture notes in computer science. 1999, pp 983-1007, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Using simulated execution in verifying distributed algorithmsTOH NE WIN; ERNST, Michael D; GARLAND, Stephen J et al.Lecture notes in computer science. 2003, pp 283-297, issn 0302-9743, isbn 3-540-00348-7, 15 p.Conference Paper

A strategy for improving the efficiency of procedure verificationWENHUI ZHANG.Lecture notes in computer science. 2002, pp 113-125, issn 0302-9743, isbn 3-540-44157-3, 13 p.Conference Paper

FATES 2003 : formal approaches to software testing (Montreal PQ, 6 October 2003, revised papers)Petrenko, Alexandre; Ulrich, Andreas.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-20894-1, VIII, 266 p, isbn 3-540-20894-1Conference Proceedings

CHARME 2003 : correct hardware design and verification methods (L'Aquila, 21-24 October 2003)Geist, Daniel; Tronci, Enrico.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-20363-X, XII, 426 p, isbn 3-540-20363-XConference Proceedings

A formal framework for synthesis and verification of logic programsAVELLONE, Alessandro; FERRARI, Mauro; FIORENTINI, Camillo et al.Lecture notes in computer science. 2001, Vol 2042, pp 1-17, issn 0302-9743, isbn 3-540-42127-0Conference Paper

Applying formal proof techniques to avionics software : A pragmatic approachRANDIMBIVOLOLONA, F; SOUYRIS, J; BAUDIN, P et al.Lecture notes in computer science. 1999, pp 1798-1815, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

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

Refinement semantics and loop rulesHEHNER, E. C. R; GRAVELL, A. M.Lecture notes in computer science. 1999, pp 1497-1510, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Hiding more of hidden algebraGOGUEN, J; ROSU, G.Lecture notes in computer science. 1999, pp 1704-1719, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

A verification tool for ERLANG : ASTEC: an experience in the establishment of collaboration between academia and industryFREDLUND, Lars-Ake; GUROV, Dilian; NOLL, Thomas et al.International journal on software tools for technology transfer (Print). 2003, Vol 4, Num 4, pp 405-420, issn 1433-2779, 16 p.Article

Logspace reducibility via abstract state machinesGRÄDEL, E; SPIELMANN, M.Lecture notes in computer science. 1999, pp 1738-1757, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Formal justification of the rely-guarantee paradigm for shared-variable concurrency : A semantic approachDE BOER, F. S; HANNEMANN, U; DE ROEVER, W.-P et al.Lecture notes in computer science. 1999, pp 1245-1265, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Reasoning about interactive systemsBACK, R; MIKHAJLOVA, A; VON WRIGHT, J et al.Lecture notes in computer science. 1999, pp 1460-1476, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Evidence explorer: A tool for exploring model-checking proofsDONG, Yifei; RAMAKRISHNAN, C. R; SMOLKA, Scott A et al.Lecture notes in computer science. 2003, pp 215-218, issn 0302-9743, isbn 3-540-40524-0, 4 p.Conference Paper

What went wrong: Explaining counterexamplesGROCE, Alex; VISSER, Willern.Lecture notes in computer science. 2003, pp 121-135, issn 0302-9743, isbn 3-540-40117-2, 15 p.Conference Paper

Model checking software (Grenoble, 11-13 April 2002)Bosnacki, Dragan; Leue, Stefan.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43477-1, X, 257 p, isbn 3-540-43477-1Conference Proceedings

Model checking and testing combinedPELED, Doron.Lecture notes in computer science. 2003, pp 47-63, issn 0302-9743, isbn 3-540-40493-7, 17 p.Conference Paper

Compressing transitions for model checkingKURSHAN, Robert; LEVIN, Vladimir; YENIGÜN, Hüsnü et al.Lecture notes in computer science. 2002, pp 569-581, issn 0302-9743, isbn 3-540-43997-8, 13 p.Conference Paper

AMC: An adaptive model checkerGROCE, Alex; PELED, Doron; YANNAKAKIS, Mihalis et al.Lecture notes in computer science. 2002, pp 521-525, issn 0302-9743, isbn 3-540-43997-8, 5 p.Conference Paper

Explaining symbolic trajectory evaluation by giving it a faithful semanticsROORDA, Jan-Willem; CLAESSEN, Koen.Lecture notes in computer science. 2006, pp 555-566, issn 0302-9743, isbn 3-540-34166-8, 1Vol, 12 p.Conference Paper

The significant role of simulation in satellite development and verificationHENDRICKS, Reinhard; EICKHOFF, Jens.Aerospace science and technology. 2005, Vol 9, Num 3, pp 273-283, issn 1270-9638, 11 p.Article

  • Page / 971