年 〜
年

検索結果 117 件

Handbook of model checking

Handbook of model checking
紙図書
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors.Springer[2018]<M159-B167>
国立国会図書館全国の図書館
  • LCCQA76.76.V47

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)
紙図書
Springer[2015]<M17-16-504>
国立国会図書館
  • LCCQA76.76.V47

Runtime verification : 6th international conference, RV 2015 : Vienna, Austria, September 22-25, 2015 : proceedings : Sep 2015, Vienna, Austria. (Lecture Notes in Computer Science ; 9333)

Runtime verification : 6th international conference, RV 2015 : Vienna, Austria, September 22-25, 2015 : proceedings : Sep 2015, Vienna, Austria. (Lecture Notes in Computer Science ; 9333)
紙図書
Springer[2015]<M17-16-759>
国立国会図書館
  • LCCQA76.76.V47

Model checking software : 22nd international symposium, SPIN 2015 : Stellenbosch, South Africa, August 24-26, 2015 : proceedings : Aug 2015, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 9232)

Model checking software : 22nd international symposium, SPIN 2015 : Stellenbosch, South Africa, August 24-26, 2015 : proceedings : Aug 2015, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 9232)
紙図書
Springer[2015]<M17-16-521>
国立国会図書館
  • LCCQA76.76.V47

HILT 2014 : proceedings of the ACM conference on high integrity language technology : October 18-21, 2014 : Portland, OR, USA : ACM SIGAda's annual international conference high integrity language technology : annual international conference of the ACM Special Interest Group on the Ada Programming Language (SIGAda) : Oct 2014, Portland, OR.

HILT 2014 : proceedings of the ACM conference on high integrity language technology : October 18-21, 2014 : Portland, OR, USA : ACM SIGAda's annual international conference high integrity language technology : annual international conference of the ACM Special Interest Group on the Ada Programming Language (SIGAda) : Oct 2014, Portland, OR.
紙図書
The Association for Computing Machinery[2014]<M17-16-52>
国立国会図書館
  • LCCQA76.76.V47

Verified software: theories, tools and experiments : 6th international conference, VSTTE 2014 : Vienna, Austria, July 17-18, 2014 : revised selected papers : 6th international conference on verified software: theories, tool and experiments : Vienna summer of logic : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8471)

Verified software: theories, tools and experiments : 6th international conference, VSTTE 2014 : Vienna, Austria, July 17-18, 2014 : revised selected papers : 6th international conference on verified software: theories, tool and experiments : Vienna summer of logic : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8471)
紙図書
Springer[2014]<M17-15-1585>
国立国会図書館
  • LCCQA76.76.V47

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)
紙図書
Springerc2014.<M17-14-1756>
国立国会図書館
  • LCCQA76.76.V47 QA76.9.L63

HILT'13 : proceedings of the ACM conference on high integrity language technology : November 10-14, 2013 : Pittsburgh, PA, USA : ACM SIGAda's annual international conference high integrity language technology : HILT 2013 : annual international conference of the ACM Special Interest Group on the Ada Programming Language (SIGAda) : HILT'13 tutorial : Nov 2013, Pittsburgh, PA.

HILT'13 : proceedings of the ACM conference on high integrity language technology : November 10-14, 2013 : Pittsburgh, PA, USA : ACM SIGAda's annual international conference high integrity language technology : HILT 2013 : annual international conference of the ACM Special Interest Group on the Ada Programming Language (SIGAda) : HILT'13 tutorial : Nov 2013, Pittsburgh, PA.
紙図書
The Association for Computing Machinery[2013]<M17-16-51>
国立国会図書館
  • LCCQA76.76.V47

Hardware and software: verification and testing : 8th international Haifa verification conference, HVC 2012 : Haifa, Israel, November 6-8, 2012 : revised selected papers : Nov 2012, Haifa, Israel. (Lecture Notes in Computer Science ; 7857)

Hardware and software: verification and testing : 8th international Haifa verification conference, HVC 2012 : Haifa, Israel, November 6-8, 2012 : revised selected papers : Nov 2012, Haifa, Israel. (Lecture Notes in Computer Science ; 7857)
紙図書
Springerc2013.<M17-14-543>
国立国会図書館
  • LCCQA76.76.V47

Reachability problems : 8th international workshop, RP 2014 : Oxford, UK, September 22-24, 2014 : proceedings : Sep 2014, Oxford, UK. (Lecture Notes in Computer Science ; 8762)

Reachability problems : 8th international workshop, RP 2014 : Oxford, UK, September 22-24, 2014 : proceedings : Sep 2014, Oxford, UK. (Lecture Notes in Computer Science ; 8762)
紙図書
Springer[2014]<M17-15-1645>
国立国会図書館
  • LCCQA76.76.V47

Runtime verification : third international conference, RV 2012 : Istanbul, Turkey, September 25-28, 2012 : revised selected papers : Sep 2012, Istanbul, Turkey. (Lecture Notes in Computer Science ; 7687)

Runtime verification : third international conference, RV 2012 : Istanbul, Turkey, September 25-28, 2012 : revised selected papers : Sep 2012, Istanbul, Turkey. (Lecture Notes in Computer Science ; 7687)
紙図書
Springerc2013.<M17-13-1624>
国立国会図書館
  • LCCQA76.76.V47

Verification, model checking, and abstract interpretation : 14th international conference, VMCAI 2013 : Rome, Italy, January 20-22, 2013 : proceedings : Jan 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7737. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 14th international conference, VMCAI 2013 : Rome, Italy, January 20-22, 2013 : proceedings : Jan 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7737. Advanced Research in Computing and Software Science)
紙図書
Springerc2013.<M17-13-2103>
国立国会図書館
  • LCCQA76.76.V47

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)
紙図書
Springerc2013.<M17-14-137>
国立国会図書館
  • LCCQA76.76.V47

Engineering dependable software systems : NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 34)

Engineering dependable software systems : NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 34)
紙図書
IOS Press[2013]<M17-15-1429>
国立国会図書館
  • LCCQA76.76.V47

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)
紙図書
IOS Pressc2012.<M17-13-420>
国立国会図書館
  • LCCQA76.76.V47

Tools for practical software verification : LASER, international summer school 2011 : Elba Island, Italy : revised tutorial lectures : 8th LASER summer school on software engineering: tools for practical software verification : Sep 2011, ------. (Lecture Notes in Computer Science ; 7682. Tutorial)

Tools for practical software verification : LASER, international summer school 2011 : Elba Island, Italy : revised tutorial lectures : 8th LASER summer school on software engineering: tools for practical software verification : Sep 2011, ------. (Lecture Notes in Computer Science ; 7682. Tutorial)
紙図書
Springerc2012.<M17-13-1522>
国立国会図書館
  • LCCQA76.76.V47

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012 : Philadelphia, PA, USA, January 28-29, 2012 : proceedings : Jan 2012, Philadelphia, PA. (Lecture Notes in Computer Science ; 7152)

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012 : Philadelphia, PA, USA, January 28-29, 2012 : proceedings : Jan 2012, Philadelphia, PA. (Lecture Notes in Computer Science ; 7152)
紙図書
Springerc2012.<M17-12-2132>
国立国会図書館
  • LCCQA76.76.V47

Reachability problems : 6th international workshop, RP 2012 : Bordeaux, France, September 17-19, 2012 : proceedings : Sep 2012, Bordeaux, France. (Lecture Notes in Computer Science ; 7550)

Reachability problems : 6th international workshop, RP 2012 : Bordeaux, France, September 17-19, 2012 : proceedings : Sep 2012, Bordeaux, France. (Lecture Notes in Computer Science ; 7550)
紙図書
Springerc2012.<M17-13-811>
国立国会図書館
  • LCCQA76.76.V47

Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings : 24th international conference on computer-aided verification : Jul 2012, Berkeley, CA. (Lecture Notes in Computer Science ; 7358)

Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings : 24th international conference on computer-aided verification : Jul 2012, Berkeley, CA. (Lecture Notes in Computer Science ; 7358)
紙図書
Springerc2012.<M17-13-561>
国立国会図書館
  • LCCQA76.76.V47

Model checking software : 18th international SPIN workshop : Snowbird, UT, USA, July 14-15, 2011 : proceedings : Jul 2011, Snowbird, UT. (Lecture Notes in Computer Science ; 6823)

Model checking software : 18th international SPIN workshop : Snowbird, UT, USA, July 14-15, 2011 : proceedings : Jul 2011, Snowbird, UT. (Lecture Notes in Computer Science ; 6823)
紙図書
Springerc2011.<M17-12-56>
国立国会図書館
  • LCCQA76.76.V47