Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Verification")

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

Verification of results to improve the quality of analytical data: A proposalGROB, Koni.Journal of chromatography. 2007, Vol 1150, Num 1-2, pp 93-99, issn 0021-9673, 7 p.Conference Paper

Simplification of boolean verification conditionsGRIBOMONT, E. P.Theoretical computer science. 2000, Vol 239, Num 1, pp 165-185, issn 0304-3975Conference Paper

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

The international FORUM of fire research directors : A position paper on verification and validation of numerical fire modelsGRITZO, Louis A; SENSENY, Paul E; YIBING XIN et al.Fire safety journal. 2005, Vol 40, Num 5, pp 485-490, issn 0379-7112, 6 p.Article

Using OBDD's for the validation of skolem verification conditionsGRIBOMONT, E. P; SALLOUM, N.Lecture notes in computer science. 1999, pp 222-226, issn 0302-9743, isbn 3-540-66222-7Conference 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

Trace table based approach for pipelined microprocessor verificationSAWADA, J; HUNT, W. A.Lecture notes in computer science. 1997, pp 364-375, issn 0302-9743, isbn 3-540-63166-6Conference Paper

  • Page / 971