年 〜
年

検索結果 32 件

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

マルチプロセッサのためのリラックスメモリモデルに基づいたSMTソルバによるプログラム検証
デジタル博士論文障害者向け資料あり
Maleehuan, Pattaravut2018-09
国立国会図書館
  • 件名Concurrent Program Verification SMT-based Program Verification Multi- process...... and Automated Program Verification

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

マイクロコントローラ用コーディング規則のプログラム検証
デジタル博士論文障害者向け資料あり
Nguyen, Thi Thuy2023-03
国立国会図書館
  • 件名...ledge modeling Program verification

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

量子動的代数：オーソモジュラー束から量子プログラムの代数へ
デジタル博士論文障害者向け資料あり
高木, 翼2023-09
国立国会図書館
  • 件名...nction Quantum Program Verification Stone-type Representation The...

Typed Software Contracts with Intersection and Nondeterminism

Typed Software Contracts with Intersection and Nondeterminism
デジタル博士論文障害者向け資料あり
Nishida, Yuki2020-05-25
インターネットで読める国立国会図書館全国の図書館
  • 件名Software 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)
マイクロ図書
2001<YCA-NAS 1.15:210927>
国立国会図書館
  • 件名Autonomy 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)
マイクロ図書
2001<YCA-NAS 1.15:210864>
国立国会図書館
  • 件名Algorithms 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)
マイクロ図書
2001<YCA-NAS 1.15:211155>
国立国会図書館
  • 件名...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)
マイクロ図書
1999<YCA-NAS 1.26:209321>
国立国会図書館
  • 件名Programming languages Semantics Prototypes Specifications Program verification (Computers)

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)
マイクロ図書
1999<YCA-NAS 1.26:208980>
国立国会図書館
  • 件名Program verification (Computers) Protocol (Compute...

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)
マイクロ図書
1999<YCA-NAS 1.26:208992>
国立国会図書館
  • 件名...croprogramming Program verification (Computers) Architecture (Com...

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)
マイクロ図書
1997<YCA-NAS 1.26:203075>
国立国会図書館
  • 件名Computer 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)
マイクロ図書
1998<YCA-NAS 1.26:208434>
国立国会図書館
  • 件名Program verification (Computers) Avionics Control ...

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)
マイクロ図書
2003<YCA-NAS 1.15:2003-212431>
国立国会図書館
  • 件名...Separated flow Program verification (Computers) Coding

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)
マイクロ図書
1998<YCA-NAS 1.26:207448>
国立国会図書館
  • 件名Evaluation Viability Hardware Design analysis Coronas Program verification (Computers)

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

マルチプロセッサのためのリラックスメモリモデルに基づいたSMTソルバによるプログラム検証
デジタル博士論文
Maleehuan, Pattaravut2018-09
インターネットで読める全国の図書館
  • 件名Concurrent 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)
マイクロ図書
1997<YCA-NAS 1.26:207040>
国立国会図書館
  • 件名Program 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)
マイクロ図書
1996<YCA-NAS 1.26:203085>
国立国会図書館
  • 件名...g Requirements Program verification (Computers) Software reliabil...

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

量子動的代数：オーソモジュラー束から量子プログラムの代数へ
デジタル博士論文
高木, 翼2023-09
インターネットで読める全国の図書館
  • 件名...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)
マイクロ図書
1999<YCA-NAS 1.26:206599>
国立国会図書館
  • 件名...ms (Computers) Program verification (Computers) Rotor dynamics Ro...

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

マイクロコントローラ用コーディング規則のプログラム検証
デジタル博士論文
Nguyen, Thi Thuy2023-03
インターネットで読める全国の図書館
  • 件名...ledge modeling Program verification