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

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

Tool-assisted specification and verification of the JavaCard platformBARTHE, Gilles; COURTIEU, Pierre; DUFAY, Guillaume et al.Lecture notes in computer science. 2002, pp 41-59, issn 0302-9743, isbn 3-540-44144-1, 19 p.Conference 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 Framework for the Verification of Certifying ComputationsALKASSAR, Eyad; BÖHME, Sascha; MEHLHORN, Kurt et al.Journal of automated reasoning. 2014, Vol 52, Num 3, pp 241-273, issn 0168-7433, 33 p.Article

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

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

Speaker verification using committee neural networksREDDY, Narender P; BUCH, Ojas A.Computer methods and programs in biomedicine. 2003, Vol 72, Num 2, pp 109-115, issn 0169-2607, 7 p.Article

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 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

Component-based algebraic specification and verification in CafeOBJDIACONESCU, R; FUTATSUGI, K; IIDA, S et al.Lecture notes in computer science. 1999, pp 1644-1663, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Integrating formal description techniquesSCHÄTZ, B; HUBER, F.Lecture notes in computer science. 1999, pp 1206-1225, 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

Verification of an implementation of Tomasulo's algorithm by compositional model checkingMCMILLAN, K. L.Lecture notes in computer science. 1998, pp 110-121, issn 0302-9743, isbn 3-540-64608-6Conference 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

An approach to the formal verification of the three-principal cryptographic protocolsZHANG, Yuqing; LIU, Xiuying.Operating systems review. 2004, Vol 38, Num 1, pp 35-42, issn 0163-5980, 8 p.Article

The practical use of model checking in software developmentMYERS, Katie; DIONNE, Kevin; CRUZ, Jose et al.IEEE SoutheastCon conference. 2002, pp 21-27, isbn 0-7803-7252-2, 7 p.Conference Paper