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

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

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

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

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

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

Model checking software (Toronto ON, 19-20 May 2001)Dwyer, Matthew.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42124-6, X, 311 p, isbn 3-540-42124-6Conference Proceedings

ERRORCHK, an interactive data error-checking programVERBYLA, D. L.Journal of forestry. 1986, Vol 84, Num 3, issn 0022-1201, 45Article

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

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