Jump to main content

yr 〜
yr

Search results 44

Semantic Refinements for Program Verification

Semantic Refinements for Program Verification
Digital博士論文障害者向け資料あり
内藏, 理史, クラ, サトシ, KURA, Satoshi2022-03-24
National Diet Library
  • Alternative TitleSemantic Refinements for Program Verification(プログラム検証のための意味論精細化)
  • Alternative TitleSemantic Refinements for Program Verification(プログラム検証のための意味論精細化)

Completeness of pointer program verification by separation logic (NII technical report NII-2009-013E)

Completeness of pointer program verification by separation logic (NII technical report NII-2009-013E)
Digital電子書籍・電子雑誌障害者向け資料あり
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen国立情報学研究所2009-06
Available onlineNational Diet Library

Completeness of pointer program verification by separation logic (NII technical report ; NII-2009-13E)

Completeness of pointer program verification by separation logic (NII technical report ; NII-2009-13E)
Paper図書
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen [著]National Institute of Informatics2009.6<M19-B156>
National Diet Library

PLPV'10 : proceedings of the 2010 ACM SIGPLAN workshop on programming languages meets program verification : January 19, 2010 : Madrid, Spain. : programming languages meet program verification workshop 2010 : PLPV 10 : Jan 2010, Madrid, Spain.

PLPV'10 : proceedings of the 2010 ACM SIGPLAN workshop on programming languages meets program verification : January 19, 2010 : Madrid, Spain. : programming languages meet program verification workshop 2010 : PLPV 10 : Jan 2010, Madrid, Spain.
Paper図書
Association for Computing Machineryc2010.<M17-10-2488>
National Diet Library

3rd ACM SIGPLAN workshop on programming languages meets program verification 2009 : (PLPV 09) : Savannah, Georgia, USA : 20 January 2009. : programming languages meet program verification 2009 : Jan 2009, Savannah, GA.

3rd ACM SIGPLAN workshop on programming languages meets program verification 2009 : (PLPV 09) : Savannah, Georgia, USA : 20 January 2009. : programming languages meet program verification 2009 : Jan 2009, Savannah, GA.
Paper図書
Association for Computing Machineryc2009.<M17-10-2738>
National Diet Library

Dependent type inference for program verification

Dependent type inference for program verification
Paper博士論文
Hiroshi Unno [著][Hiroshi Unno][2009]<UT51-2009-R128>
National Diet Library

A study of model checking techniques with emphasis on program verification and probabilistic analysis

A study of model checking techniques with emphasis on program verification and probabilistic analysis
Paper博士論文
Toshifusa Sekizawa [著][Toshifusa Sekizawa][2009]<UT51-2009-C481>
National Diet Library

5th ACM workshop on programming languages meets program verification 2011 : (PLPV 2011) : held in conjunction with POPL 11 : Austin, Texas, USA : 29 January 2011. : Jan 2011, Austin, TX.

5th ACM workshop on programming languages meets program verification 2011 : (PLPV 2011) : held in conjunction with POPL 11 : Austin, Texas, USA : 29 January 2011. : Jan 2011, Austin, TX.
Paper図書
Association for Computing Machineryc2011.<M17-11-2634>
National Diet Library

PLPV'07 : proceedings of the 2007 workshop on programming languages meets program verification : Freiburg, Germany : October 5, 2007. : PLPV 2007 : Oct 2007, Freiburg, Germany.

PLPV'07 : proceedings of the 2007 workshop on programming languages meets program verification : Freiburg, Germany : October 5, 2007. : PLPV 2007 : Oct 2007, Freiburg, Germany.
Paper図書
ACMc2007.<M17-08-185>
National Diet Library
  • Alternative Title...anguages meets program verification Oct. 5, 2007 Freiburg, German...
  • Alternative Title...anguages meets program verification Oct. 5, 2007 Freiburg, German...

GXQ program verification and validation. Revision 1 WHC-SD-GN-SWD-30003-Rev.1 DE95 012581

GXQ program verification and validation. Revision 1 WHC-SD-GN-SWD-30003-Rev.1 DE95 012581
Microform規格・テクニカルリポート類
Hey, B. E1995<LS-DE95/012581>
National Diet Library

Efficiency improvement of theorem proving and its application to logical program verification

Efficiency improvement of theorem proving and its application to logical program verification
PaperDigital博士論文
淡誠一郎 [著]<UT51-63-G125>
Available onlineNational Diet Library

Formal methods of program verification and specification / H.K. Berg ... [et al.]. (Prentice-Hall software series)

Formal methods of program verification and specification / H.K. Berg ... [et al.]. (Prentice-Hall software series)
Paper図書
Prentice-Hallc1982.<M159-A31>
National Diet Library

Rigorous software development : an introduction to program verification : pbk

Rigorous software development : an introduction to program verification : pbk
Paper図書
José Bacelar Almeida ... [et al.]Springerc2011
Other Libraries in Japan

Program verification

Program verification
Paper図書
Nissim FrancezAddison-Wesley Pub. Co.c1992
Other Libraries in Japan

PLPV'10 : proceedings of the 2010 Workshop on Programming Languages meets Program Verification, Jamuary 19, 2010, Madrid, Spain

PLPV'10 : proceedings of the 2010 Workshop on Programming Languages meets Program Verification, Jamuary 19, 2010, Madrid, Spain
Paper図書
sponsored by ACM SIGPLANAssociation for Computing Machineryc2010
Other Libraries in Japan
  • Author Heading...anguages meets Program Verification ACM Special Interest Group in...

3rd ACM SIGPLAN Workshop on Programming Languages meets Program Verification 2009 : PLPV 09 : Savannah, Georgia, USA 20 January 2009

3rd ACM SIGPLAN Workshop on Programming Languages meets Program Verification 2009 : PLPV 09 : Savannah, Georgia, USA 20 January 2009
Paper図書
Association for Computing Machineryc2009
Other Libraries in Japan
  • Author Heading...anguages meets Program Verification ACM Special Interest Group in...

PLPV'07 : proceedings of the 2007 Workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007 : co-located with, ICFP'07

PLPV'07 : proceedings of the 2007 Workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007 : co-located with, ICFP'07
Paper図書
sponsored by ACM SIGPLANAssociation for Computing Machineryc2007
Other Libraries in Japan
  • Author Heading...anguages meets Program Verification ACM SIGPLAN International Con...

GXQ PROGRAM VERIFICATION AND VALIDATION. REVISION 1 (WHC ; WHC-SD-GN-SWD-30003-REV.1)

GXQ PROGRAM VERIFICATION AND VALIDATION. REVISION 1 (WHC ; WHC-SD-GN-SWD-30003-REV.1)
Paper図書
HEY, B.E. (WESTINGHOUSE HANFORD CO., RICHLAND, WA (UNITED STATES))Westinghouse Hanford Company(Westinghouse Hanford Company)1995.
Other Libraries in Japan

"ONS Units 1,2 & 3 Cyme-Keowee Program Verification."

"ONS Units 1,2 & 3 Cyme-Keowee Program Verification."
Paper図書
DUKE POWER CO.1994/02/21.
Other Libraries in Japan

Program verification : fundamental issues in computer science

Program verification : fundamental issues in computer science
Paper図書
edited by Timothy R. Colburn, James H. Fetzer, and Terry L. RankinKluwer Academic Press1993
Other Libraries in Japan
RSS