Вы здесь

Главная

model checking

Связанные издания:

CONCUR 2014 - Concurrency Theory: Proc./25th International Conference, CONCUR 2014, Rome, Italy, September 2014
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
Concurrency, Specification, and Programming - CS&P 2004: Specification and Verification: Proc./Workshop. Caputh, September 24-26, 2004
Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Construction and Evolution of Code Generations. A Model-Driven and Service-Oriented Approach
Correct Hardware Design and Verification Methods: Proc./13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005. Saaerbruecken, Germany, October 2005
Cyber Physical Systems: Design, Modeling, and Evaluation: Revised Selected Papers/7th International Workshop, CyPhy 2017, Seoul, South Korea, October 2017
Cyber Physical Systems: Model-Based Design: Revised Selected Papers/8th International Workshop, CyPhy 2018 and 14th International Workshop, WESE 2018, Turin, Italy, October 2018
Data Engineering and Management: Revised Selected Papers/2nd International Conference, ICDEM 2010, Tiruchirappalli, India, July 2010
Data-Flow Analysis as Model-Checking Within the jABC
Declarative Agent Languages and Technologies II: Revised Selected Papers/Second International Workshop, DALT 2004. New York, NY, USA, July 2004
Declarative Agent Languages and Technologies VIII: Revised, Selected and Invited Papers/8th International Workshop, DALT 2010, Toronto, Canada, May 2010
Declarative Agent Languages and Technologies VII: Revised Selected and Invited Papers/7th Internatiional Workshop, DALT 2009, Budapest, Hungary, May 2009
Deductive Approach to Verification of Telecommunication Systems Written in C
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Dependable Software Engineering: Proc./6th International Symposium, SETTA 2020, Guangzhou, China, November 2020
Dependable Software Engineering: Theories, Tools, and Applications: Proc./4th International Symposium, SETTA 2018, Beijing, China, September 2018
Dependable Software Engineering: Theories, Tools, and Applications: Proc./7th International Symposium, SETTA 2021, Beijing, China? November 2021
Developments in Language Theory: Proc./21st International Conference, DLT 2017, Liege, Belgiym, August 2017
Digital-Forensics and Watermarking: Revised Selected Papers/10th International Workshop, IWDW 2011, Atlantic City,NJ,USA, October 2011
Directed Model Checking with Distance-Preserving Abstraction
Distributed Computing and Networking: Proc./14tth International Conference, ICDCN 2013, Mumbai, India, January 2013
Distributed On-the-Fly Model Checking and Test Case Generation
Don t Know in Probabilistic Systems
"Don t Know" in the Mu-Calculus
Dynamic Logic: New Trends and Applications: Revised Selected Papers/3rd International Workshop, DaLi 2020, Prague, Czech Republic, October 2020
Efficient Verification of Halting Properties For MPI Programs with Wildcard Receives
Electronic Voting: Proc./3rd International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2018
Engineering Trustworthy Software Systems: Tutorial Lectures/4th International School, SETSS 2018, Chongqing, China, April 2018
Euro-Par 2011: Parallel Processing Workshops, Part I: Revised Selected Papers/ CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, September 2011
Exponental Acceleration of Model Checking for Perfect Recall Systems
Extending JML for Modular Specification and Verification of Multi-threaded Programs
First-Order LTL Model Checking Using MDGs
FM 2005: Formal Methods: International Symposium of Formal Methods Europe. Newcastle, UK, July 2005
FM 2009: Formal Methods: Proc./2nd World Congress. Eindhoven, The Netherlands, November 2009
FM 2012: Formal Methods: Proc./18th International Symposium, Paris, France, August 2012
FM 2014: Formal Methods: Proc./19th International Symposium, Singapore, May 2014
FM 2015: Formal Methods: Proc./20th International Symposium, Oslo, Norway, June 2015
Formak Methods and Software Engineering: Proc./ 9th International Conference ICFEM 2007. Boca Raton, FL, USA, November 2007
Formal Approaches to Agent-Based Systems: Revised Selected Papers/Third International Workshop, FAABS 2004. Greenbelt, MD, USA, April 2004
Formal Approaches to Software Testing: Revised Selected Papers/4th International Workshop, FATES 2004. Linz, Austria, September 2004
Formal Aspects of Component Software: Proc./14th International Conference, FACS 2017, Braga, Portugal, October 2017
Formal Aspects of Component Software: Proc./17th International Conference, FACS 2021, Virtual Event, October 2021
Formal Aspects of Component Software: Revised Selected Papers/13th International Conference, FACS 2016, Besancon, France, October 2016
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Formal Methods and Software Engineering: Proc./11th International Conference, ICFEM 2009, Rio de Janeiro, Brazil, December 2009
Formal Methods and Software Engineering: Proc./12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 2010
Formal Methods and Software Engineering: Proc./14th International Conference on Formal Engineering Mathods, ICFEM 2012, Kyoto, Japan, November 2012
Formal Methods and Software Engineering: Proc./15th International Conference, ICFEM 2013, Queenstown, New Zealand, October 2013
Formal Methods and Software Engineering: Proc./16th International Conference on FEM, ICFEM 2014, Luxembourg, November 2014