Jump to main content

yr 〜
yr

Search results 32

マルチプロセッサのためのリラックスメモリモデルに基づいたSMTソルバによるプログラム検証

マルチプロセッサのためのリラックスメモリモデルに基づいたSMTソルバによるプログラム検証
Digital博士論文障害者向け資料あり
Maleehuan, Pattaravut2018-09
National Diet Library
  • Subject HeadingConcurrent Program Verification SMT-based Program Verification Multi- process...... and Automated Program Verification

マイクロコントローラ用コーディング規則のプログラム検証

マイクロコントローラ用コーディング規則のプログラム検証
Digital博士論文障害者向け資料あり
Nguyen, Thi Thuy2023-03
National Diet Library
  • Subject Heading...ledge modeling Program verification

量子動的代数：オーソモジュラー束から量子プログラムの代数へ

量子動的代数：オーソモジュラー束から量子プログラムの代数へ
Digital博士論文障害者向け資料あり
高木, 翼2023-09
National Diet Library
  • Subject Heading...nction Quantum Program Verification Stone-type Representation The...

Typed Software Contracts with Intersection and Nondeterminism

Typed Software Contracts with Intersection and Nondeterminism
Digital博士論文障害者向け資料あり
Nishida, Yuki2020-05-25
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject HeadingSoftware engineering Programming languages Program verification Type theory Design by contrac...

RIACS workshop on the verification and validation of autonomous and adaptive systems [microform] / Charles Pecheur, Willem Visser, Reid Simmons ([NASA technical memorandum] ; NASA/TM-2001-210927)

RIACS workshop on the verification and validation of autonomous and adaptive systems [microform] / Charles Pecheur, Willem Visser, Reid Simmons ([NASA technical memorandum] ; NASA/TM-2001-210927)
Microform図書
2001<YCA-NAS 1.15:210927>
National Diet Library
  • Subject HeadingAutonomy Program verification (Computers) Adaptive control ...

On the formal verification of conflict detection algorithms [microform] / César Muñoz ... [et al.] ([NASA technical memorandum] ; NASA/TM-2001-210864)

On the formal verification of conflict detection algorithms [microform] / César Muñoz ... [et al.] ([NASA technical memorandum] ; NASA/TM-2001-210864)
Microform図書
2001<YCA-NAS 1.15:210864>
National Diet Library
  • Subject HeadingAlgorithms Detection Air traffic control Management systems Program verification (Computers) Safety

Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center [microform] / Joseph W. Panek ([NASA technical memorandum] ; NASA/TM-2001-211155)

Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center [microform] / Joseph W. Panek ([NASA technical memorandum] ; NASA/TM-2001-211155)
Microform図書
2001<YCA-NAS 1.15:211155>
National Diet Library
  • Subject Heading...omatic control Program verification (Computers)

The formal semantics of PVS [microform] / Sam Owre and Natarajan Shankar ([NASA contractor report] ; NASA/CR-1999-209321)

The formal semantics of PVS [microform] / Sam Owre and Natarajan Shankar ([NASA contractor report] ; NASA/CR-1999-209321)
Microform図書
1999<YCA-NAS 1.26:209321>
National Diet Library
  • Subject HeadingProgramming languages Semantics Prototypes Specifications Program verification (Computers)

Formal verification of the AAMP-FV microcode [microform] / Steven P. Miller ... [et al.] ([NASA contractor report] ; NASA/CR-1999-208992)

Formal verification of the AAMP-FV microcode [microform] / Steven P. Miller ... [et al.] ([NASA contractor report] ; NASA/CR-1999-208992)
Microform図書
1999<YCA-NAS 1.26:208992>
National Diet Library
  • Subject Heading...croprogramming Program verification (Computers) Architecture (Com...

A practical approach to implementing real-time semantics [microform] / Gerald Lüttgen, Girish Bhat, Rance Cleaveland (ICASE report ; no. 99-4) ([NASA contractor report] ; NASA/CR-1999-208980)

A practical approach to implementing real-time semantics [microform] / Gerald Lüttgen, Girish Bhat, Rance Cleaveland (ICASE report ; no. 99-4) ([NASA contractor report] ; NASA/CR-1999-208980)
Microform図書
1999<YCA-NAS 1.26:208980>
National Diet Library
  • Subject HeadingProgram verification (Computers) Protocol (Compute...

Formal methods of V&V of partial specifications [microform] : an experience report / by Steve Easterbrook and Jack Callahan ([NASA contractor report] ; NASA-CR-203075) (Technical report series)

Formal methods of V&V of partial specifications [microform] : an experience report / by Steve Easterbrook and Jack Callahan ([NASA contractor report] ; NASA-CR-203075) (Technical report series)
Microform図書
1997<YCA-NAS 1.26:203075>
National Diet Library
  • Subject HeadingComputer programs Proving Program verification (Computers)

Flight guidance system validation using SPIN [microform] / Dimitri Naydich and John Nowakowski ([NASA contractor report] ; NASA/CR-1998-208434)

Flight guidance system validation using SPIN [microform] / Dimitri Naydich and John Nowakowski ([NASA contractor report] ; NASA/CR-1998-208434)
Microform図書
1998<YCA-NAS 1.26:208434>
National Diet Library
  • Subject HeadingProgram verification (Computers) Avionics Control ...

The global coronal structure investigation [microform] : NASA grant NAG5-5075 : annual report for the period 1 April 1997 through 31 March 1998 / principal investigator, Leon Golub ([NASA contractor report] ; NASA/CR-207448)

The global coronal structure investigation [microform] : NASA grant NAG5-5075 : annual report for the period 1 April 1997 through 31 March 1998 / principal investigator, Leon Golub ([NASA contractor report] ; NASA/CR-207448)
Microform図書
1998<YCA-NAS 1.26:207448>
National Diet Library
  • Subject HeadingEvaluation Viability Hardware Design analysis Coronas Program verification (Computers)

Summary of EASM turbulence models in CFL3D with validation test cases [microform] / Christopher L. Rumsey and Thomas B. Gatski (NASA/TM-2003-212431)

Summary of EASM turbulence models in CFL3D with validation test cases [microform] / Christopher L. Rumsey and Thomas B. Gatski (NASA/TM-2003-212431)
Microform図書
2003<YCA-NAS 1.15:2003-212431>
National Diet Library
  • Subject Heading...Separated flow Program verification (Computers) Coding

マルチプロセッサのためのリラックスメモリモデルに基づいたSMTソルバによるプログラム検証

マルチプロセッサのためのリラックスメモリモデルに基づいたSMTソルバによるプログラム検証
Digital博士論文
Maleehuan, Pattaravut2018-09
Available onlineOther Libraries in Japan
  • Subject HeadingConcurrent Program Verification SMT-based Program Verification Multi- process...... and Automated Program Verification

Formal methods for verification and validation of partial specifications [microform] : a case study / by Steve Easterbrook and John Callahan (Technical report series ; NASA/IVV-97-010)

Formal methods for verification and validation of partial specifications [microform] : a case study / by Steve Easterbrook and John Callahan (Technical report series ; NASA/IVV-97-010)
Microform図書
1997<YCA-NAS 1.26:207040>
National Diet Library
  • Subject HeadingProgram verification (Computers) Specifications So...

Experiences using formal methods for requirements modeling [microform] / by Steve Easterbrook ... [et al.] ([NASA contractor report] ; NASA-CR-203085) (Technical report series)

Experiences using formal methods for requirements modeling [microform] / by Steve Easterbrook ... [et al.] ([NASA contractor report] ; NASA-CR-203085) (Technical report series)
Microform図書
1996<YCA-NAS 1.26:203085>
National Diet Library
  • Subject Heading...g Requirements Program verification (Computers) Software reliabil...

量子動的代数：オーソモジュラー束から量子プログラムの代数へ

量子動的代数：オーソモジュラー束から量子プログラムの代数へ
Digital博士論文
高木, 翼2023-09
Available onlineOther Libraries in Japan
  • Subject Heading...nction Quantum Program Verification Stone-type Representation The...

Follow-on low noise fan aerodynamic study [microform] : task 15-final report / Nathan J. Heidegger, Edward J. Hall, and Robert A. Delaney ([NASA contractor report] ; NASA/CR-1999-206599)

Follow-on low noise fan aerodynamic study [microform] : task 15-final report / Nathan J. Heidegger, Edward J. Hall, and Robert A. Delaney ([NASA contractor report] ; NASA/CR-1999-206599)
Microform図書
1999<YCA-NAS 1.26:206599>
National Diet Library
  • Subject Heading...ms (Computers) Program verification (Computers) Rotor dynamics Ro...

マイクロコントローラ用コーディング規則のプログラム検証

マイクロコントローラ用コーディング規則のプログラム検証
Digital博士論文
Nguyen, Thi Thuy2023-03
Available onlineOther Libraries in Japan
  • Subject Heading...ledge modeling Program verification
RSS