東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Verification )
該当件数:48件
Verificationism : its history and prospects / C.J. Misak
London : Routledge , 1995. - New York. - (Philosophical issues in science)
図書
Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog
New York : Springer-Verlag , c1991. - (Texts and monographs in computer science)
The foundations of program verification / Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer
2nd ed. - Stuttgart : B. G. Teubner , c1987. - Chichester [West Sussex] : Wiley. - New York. - (Wiley-Teubner series in computer science)
Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2102)
Satellites for arms control and crisis monitoring / edited by Bhupendra Jasani and Toshibomi Sakata
Oxford [Oxfordshire] : Oxford Univ. Pr. , 1987. - New York
An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub
: gw,: us. - Berlin ; New York : Springer-Verlag , 1982. - (Lecture notes in computer science ; 135)
Verifying concurrent processes using temporal logic / Brent T. Hailpern
: gw,: us. - Berlin ; New York : Springer-Verlag , 1982. - (Lecture notes in computer science ; 129)
Compiler specification and verification / Wolfgang Polak
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 124)
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid
New York : Springer , c1996. - (Lecture notes in computer science ; 1032)
Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction / Markus Müller-Olm
Berlin : Springer , c1997. - Heidelberg. - (Lecture notes in computer science ; 1283)
Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism / Josyula Ramachandra Rao
Berlin : Springer , c1995. - New York. - (Lecture notes in computer science ; 908)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1283)
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams ... [et al.], (eds.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1680)
Verification of reactive systems : formal methods and algorithms / Klaus Schneider
Berlin : Springer-Verlag , 2004. - New York. - (Texts in theoretical computer science)
A Survey of verification techniques for parallel programs / Howard Barringer
Berlin : Springer-Verlag , c1985. - New York. - Tokyo. - (Lecture notes in computer science ; 191)
Data refinement : model-oriented proof methods and their comparison / W.-P. de Roever, K. Engelhardt ; with the assistance of K.-H. Buth ... [et al.]
New York : Cambridge University Press , 1998
Automatic verification of sequential infinite-state processes / Olaf Burkart
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1354)
Software testing : a guide to the TMap approach / Martin Pol, Ruud Teunissen and Erik van Veenendaal
Harlow : Addison-Wesley , 2002
Numerical verification methods and computer-assisted proofs for partial differential equations / Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
Singapore : Springer , c2019. - (Springer series in computational mathematics ; 53)
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2057)
The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 / Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors
Providence, R.I. : American Mathematical Society , 1997. - (DIMACS series in discrete mathematics and theoretical computer science. ISSN:1052-1798 ; v. 32)
Hardware and Software : Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Proceedings / Hana Chockler, Alan J. Hu (Eds.)
pbk.,pbk.. - Berlin ; New York : Springer, c2009. - (Lecture notes in computer science ; 5394)
Verification and validation of rule-based expert systems / Suzanne Smith, Abraham Kandel
Boca Raton, Fla. : CRC Pr. , c1993
Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings / E. Allen Emerson, A. Prasad Sistla (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1855)
Partial order methods in verification : Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University / Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors
Providence, R.I. : American Mathematical Society , 1997. - (DIMACS series in discrete mathematics and theoretical computer science ; v. 29)
Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger, (eds.)
Berlin : Springer-Verlag , c1996. - New York. - (Lecture notes in computer science ; 1102)
Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (ed.)
Berlin : Springer-Verlag , c1998. - (Lecture notes in computer science ; 1427)
Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings / Orna Grumberg (ed.)
Berlin : Springer-Verlag , c1997. - Tokyo. - (Lecture notes in computer science ; 1254)
Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings / Nicolas Halbwachs, Doron Peled (eds.)
Berlin : Springer-Verlag , c1999. - Tokyo. - (Lecture notes in computer science ; 1633)
Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 575)
Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper (ed.)
Berlin : Springer-Verlag , c1995. - New York. - (Lecture notes in computer science ; 939)
Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings / David L. Dill (ed.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 818)
Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings / Costas Courcoubetis (ed.)
Berlin : Springer-Verlag , c1993. - Tokyo. - (Lecture notes in computer science ; 697)
Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G.v. Bochmann, D.K. Probst (eds.)
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 663)
Formal hardware verification : methods and systems in comparison / Thomas Kropf (ed.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1287)
Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.)
Berlin : Springer-Verlag , c1993. - Tokyo. - (Lecture notes in computer science ; 683)
Correct hardware design and verification methods : 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings / Laurence Pierre, Thomas Kropf (eds.)
Berlin : Springer , c1999. - Tokyo. - (Lecture notes in computer science ; 1703)
Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati, Hans Eveking (eds.)
Berlin : Springer , c1995. - New York. - (Lecture notes in computer science ; 987)
Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati, Hans Eveking, (eds.)
Formal methods in computer aided design : second internaitonal conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley, (eds.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1522)
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1166)
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley, (eds.)
Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings / E.M. Clarke, R.P. Kurshan, (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 531)
Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / Tiziana Margaria, Tom Melham (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2144)
Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt Jr., Steven D. Johnson (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1954)