yr 〜
yr

Search results 826

Verified : how to think straight, get duped less, and make better decisions about what to believe online

Verified : how to think straight, get duped less, and make better decisions about what to believe online
Paper図書
Mike Caulfield and Sam WineburgThe University of Chicago Press2023<UL41-D18>
National Diet LibraryOther Libraries in Japan
  • Contents... the future of verification
  • Subject HeadingInternet literacy Internet searching Information literacy Verification (Empiricism)

Handbook of model checking

Handbook of model checking
Paper図書
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors.Springer[2018]<M159-B167>
National Diet LibraryOther Libraries in Japan
  • Summary, etc....y used for the verification of hardware an......al methods and verification tools."--Provided by publishe...
  • Subject HeadingComputer systems--Verification--Handbooks, manuals, etc. Computer systems--Verification.

The politics of weapons inspections : assessing WMD monitoring and verification regimes

The politics of weapons inspections : assessing WMD monitoring and verification regimes
Paper図書
Nathan E. Busch, Joseph F. Pilat.Stanford Security Studies, an imprint of Stanford University Press[2017]<A651-B549>
National Diet Library
  • ContentsWhat are monitoring and verification regimes? South......monitoring and verification regimes.
  • Subject Heading... arms control--Verification. Chemical arms control--Verification. Biological arms control--Verification. Disarmament--On-site inspect...

A guide to international disarmament law (Routledge research in the law of armed conflict)

A guide to international disarmament law (Routledge research in the law of armed conflict)
Paper図書
Stuart Casey-Maslen and Tobias Vestner.Routledge2019.<A74-D4>
National Diet Library
  • Contents...ons Reporting, verification, and compliance Disarmament, ...
  • Subject HeadingArms control. Disarmament. Nuclear arms control--Verification.

Numerical verification methods and computer-assisted proofs for partial differential equations (Springer series in computational mathematics ; volume 53)

Numerical verification methods and computer-assisted proofs for partial differential equations (Springer series in computational mathematics ; volume 53)
Paper図書
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.Springer[2019]<MA117-D2>
National Diet Library
  • ContentsVerification by Finite-Dime......inciple of the Verification Fixed-Point Fo......ranov Equation Verification for Bifurcated......rm Programming Verification of the Local U......didate Set and Verification Condition Note......amming Example Verification of the Local U......-Type Method A Verification Algorithm Base......xed-Point Form Verification Condition Loca......f the Solution Verification Algorithm IS-R......ptic Problem A Verification Algorithm Base......nt Formulation Verification Algorithm The ......ction Problems Verification of Two-Dimensi......bolic Operator Verification Results for So......tion to Intlab Verifications for Finite-Dimensional Probl...
  • Subject HeadingDifferential equations, Partial. Automatic theorem proving. Numerical calculations--Verification.

2016 international workshop on symbolic and numerical methods for reachability analysis : (SNR 2016) : Vienna, Austria : 11 April 2016 : CPS week : Apr 2016, Vienna, Austria.

2016 international workshop on symbolic and numerical methods for reachability analysis : (SNR 2016) : Vienna, Austria : 11 April 2016 : CPS week : Apr 2016, Vienna, Austria.
Paper図書
IEEE[2016]<M17-17-2497>
National Diet Library
  • Subject Heading...puter systems--Verification--Congresses. C......puter systems--Verification. Hybrid systems.

Computer aided verification : 26th international conference, CAV 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 18-22, 2014 : proceedings : federated logic conference (FLoC) : CAV workshops : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8559)

Computer aided verification : 26th international conference, CAV 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 18-22, 2014 : proceedings : federated logic conference (FLoC) : CAV workshops : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8559)
Paper図書
Springer[2014]<M17-15-1518>
National Diet Library
  • Subject HeadingComputer software--Verification--Congresses. Computer software--Verification.

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)
Paper図書
Springer[2015]<M17-16-504>
National Diet Library
  • Summary, etc....Computer Aided Verification, CAV 2015, hel......plications; HW verification; synthesis; termination; and ...
  • Subject Heading...uter software--Verification--Congresses. C......uter software--Verification.

Theory and applications of satisfiability testing--SAT 2015 : 18th international conference : Austin, TX, USA, September 24-27, 2015 : proceedings : Sep 2015, Austin, TX. (Lecture Notes in Computer Science ; 9340)

Theory and applications of satisfiability testing--SAT 2015 : 18th international conference : Austin, TX, USA, September 24-27, 2015 : proceedings : Sep 2015, Austin, TX. (Lecture Notes in Computer Science ; 9340)
Paper図書
Springer[2015]<M17-16-763>
National Diet Library
  • Subject Heading...uter software--Verification--Congresses. C......uter software--Verification.

Post-silicon and runtime verification for modern processors

Post-silicon and runtime verification for modern processors
Paper図書
Ilya Wagner, Valeria Bertacco.Springerc2011.<M159-B134>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingComputer software--Verification. Computer programs--Verification.

Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8561)

Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8561)
Paper図書
Springer[2014]<M17-15-1591>
National Diet Library
  • Subject Heading...uter software--Verification--Congresses. C......uter software--Verification.

2016 1st IEEE international verification and security workshop (IVSW 2016) : Sant Feliu de Guixols, Spain : 4-6 July 2016 : IVSW16 : Jul 2016, Sant Feliu de Guixols, Spain.

2016 1st IEEE international verification and security workshop (IVSW 2016) : Sant Feliu de Guixols, Spain : 4-6 July 2016 : IVSW16 : Jul 2016, Sant Feliu de Guixols, Spain.
Paper図書
IEEE[2016]<M17-18-1625>
National Diet Library
  • Subject HeadingComputer software--Verification--Congresses. E......uter software--Verification. Electronic apparatus and app...
  • Author HeadingIEEE International Verification and Security Workshop (1st : ...

E-voting and identity : 5th international conference, VoteID 2015 : Bern, Switzerland, September 2-4, 2015 : proceedings : Sep 2015, Bern, Switzerland. (Lecture Notes in Computer Science ; 9269)

E-voting and identity : 5th international conference, VoteID 2015 : Bern, Switzerland, September 2-4, 2015 : proceedings : Sep 2015, Bern, Switzerland. (Lecture Notes in Computer Science ; 9269)
Paper図書
Springer[2015]<M17-16-599>
National Diet Library
  • Subject Heading...uter software--Verification--Congresses. C......uter software--Verification. Data encryption (Computer sc...

Verifying nuclear disarmament (Modern security studies)

Verifying nuclear disarmament (Modern security studies)
Paper図書
Thomas Shea.Routledge, Taylor & Taylor Group2019.<A74-B583>
National Diet Library
  • Contents...ar disarmament verification INDA inspections Sustainable ...
  • Subject HeadingNuclear arms control--Verification--International cooperation Nu...

Formal methods for industrial critical systems : 20th international workshop, FMICS 2015 : Oslo, Norway, June 22-23, 2015 : proceedings : Jun 2015, Oslo, Norway. (Lecture Notes in Computer Science ; 9128)

Formal methods for industrial critical systems : 20th international workshop, FMICS 2015 : Oslo, Norway, June 22-23, 2015 : proceedings : Jun 2015, Oslo, Norway. (Lecture Notes in Computer Science ; 9128)
Paper図書
Springer[2015]<M17-16-388>
National Diet Library
  • Summary, etc.... and analysis; verification.
  • Subject Heading...uter programs--Verification--Congresses. C......uter software--Verification--Congresses. C......uter programs--Verification. Computer soft......uter software--Verification. Formal methods (Computer sci...

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-15-1660>
National Diet Library
  • Subject HeadingComputer software--Verification--Congresses. Software enginee...

2016 IEEE international conference on software testing, verification and validation (ICST 2016) : Chicago, Illinois, USA : 11-15 April 2016 : 9th IEEE international conference on software testing, verification, and validation : Apr 2016, Chicago, IL.

2016 IEEE international conference on software testing, verification and validation (ICST 2016) : Chicago, Illinois, USA : 11-15 April 2016 : 9th IEEE international conference on software testing, verification, and validation : Apr 2016, Chicago, IL.
Paper図書
IEEE[2016]<M17-18-1531>
National Diet Library
  • Subject Heading...uter software--Verification--Congresses. C......uter software--Verification.
  • Note (General)...tware Testing, Verification and Validation : Proceedings ...
  • Author Heading...tware Testing, Verification, and Validation (9th : 2016 :...

Cyber physical systems : design, modeling, and evaluation : 5th international workshop, CyPhy 2015 : Amsterdam, the Netherlands, October 8, 2015 : proceedings : ESWeek 2015 : Oct 2015, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 9361)

Cyber physical systems : design, modeling, and evaluation : 5th international workshop, CyPhy 2015 : Amsterdam, the Netherlands, October 8, 2015 : proceedings : ESWeek 2015 : Oct 2015, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 9361)
Paper図書
Springer[2015]<M17-16-780>
National Diet Library
  • Subject Heading...puter systems--Verification--Congresses. C......puter systems--Verification. Cybernetics. Sensor networks...

Formal methods for industrial critical systems : 19th international conference, FMICS 2014 : Florence, Italy, September 11-12, 2014 : proceedings : 19th international workshop on formal methods for industrial critical systems : 1-week scientific event FLORENCE 2014 : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8718)

Formal methods for industrial critical systems : 19th international conference, FMICS 2014 : Florence, Italy, September 11-12, 2014 : proceedings : 19th international workshop on formal methods for industrial critical systems : 1-week scientific event FLORENCE 2014 : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8718)
Paper図書
Springer[2014]<M17-15-1259>
National Diet Library
  • Subject Heading...uter programs--Verification--Congresses. C......uter software--Verification--Congresses. C......uter programs--Verification. Computer soft......uter software--Verification. Formal methods (Computer sci...

2016 IEEE ninth international conference on software testing, verification and validation workshops (ICSTW 2016) : Chicago, Illinois, USA : 11-15 April 2016 : ICST 2016 : Apr 2016, Chicago, IL.

2016 IEEE ninth international conference on software testing, verification and validation workshops (ICSTW 2016) : Chicago, Illinois, USA : 11-15 April 2016 : ICST 2016 : Apr 2016, Chicago, IL.
Paper図書
IEEE[2016]<M17-18-1530>
National Diet Library
  • Subject Heading...uter software--Verification--Congresses. C......uter software--Verification.
  • Note (General)...tware Testing, Verification and Validation Workshops : Pr...
  • Alternative Title...tware testing, verification and validation workshops (ICS...