Search Results - "Formal verification"

1

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach / by Naijun Zhan, Shuling Wang, Hengjun Zhao.

by Zhan, Naijun., Zhan, Naijun., Wang, Shuling., Zhao, Hengjun.
Published 2017

Get full text

2

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs / by Vladimir Herdt.

by Herdt, Vladimir., Herdt, Vladimir.
Published 2016

Table of Contents: '; “...Verification of Systems -- Introduction to Formal Verification of SystemC Models -- Symbolic Model...”
Get full text

3

Collaborative Computing: Networking, Applications and Worksharing 14th EAI International Conference, CollaborateCom 2018, Shanghai, China, December 1-3, 2018, Proceedings / edited...

Published 2019

Table of Contents: '; “... and Formal Verification -- Wireless and Testbed Application -- Uncertainty Analytics and Formal Verification...”
Get full text

4

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / edited by Maurice H. ter Beek, Alessandro...

Published 2019

Table of Contents: '; “... Processing -- Software Product Lines -- Formal Verification -- Applications....”
Get full text

5

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / edited by Nikolaj Bjørner, Frank de Boer.

Published 2015

Table of Contents: '; “...Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration...”
Get full text

6

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings / edited by Stefano Tonetta, Erwin Schoit...

Published 2017

Table of Contents: '; “...Dynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems...”
Get full text

7

AI*IA 2016 Advances in Artificial Intelligence XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016,...

Published 2016

Table of Contents: '; “... Language Processing -- Planning and Scheduling -- Formal Verification....”
Get full text

8

Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / edited by Brijesh Dongol, Elena Troubitsyna.

Published 2020

Table of Contents: '; “... -- Program Analysis and Testing -- Verification of Interactive Behaviour -- Formal Verification -- Static...”
Get full text

9

Computer Aided Systems Theory - EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revis...

Published 2007

Table of Contents: '; “... -- Applied Formal Verification -- Cellular Automata -- Computer Vision -- Heuristic Problem Solving -- Signal...”
Get full text

10

Formal Methods for Industrial Critical Systems 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings / edited by Maurice H. ter Beek, Dejan N...

Published 2020

Table of Contents: '; “... for Security Analysis of Cyber-Physical Systems -- Formal Verification of Industrial Systems Scalable Detection...”
Get full text

11

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / edited by Cliff Jones, Pekka Pihlajasaari, Jun Sun.

Published 2014

Table of Contents: '; “... and Learning -- Formal Verification of Operational Transformation -- Verification of a Transactional Memory...”
Get full text

12

Formal Methods. FM 2019 International Workshops Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, D...

Published 2020

Table of Contents: '; “...AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- Data...”
Get full text

13

Correct Software in Web Applications and Web Services edited by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger.

Published 2015

Table of Contents: '; “... Distribution -- Integrating a Model-Driven Approach and Formal Verification for the Development of Secure...”
Get full text

14

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhir...

Published 2016

Table of Contents: '; “... -- Formal verification -- Model checking -- Formal approaches to software testing and inspection -- Formal...”
Get full text

15

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings / edited by Eran Yahav.

Published 2014

Table of Contents: '; “... in Mechanized Linearizability Proofs -- Partial Quantifier Elimination -- Formal Verification of 800 Genetically...”
Get full text

16

Industrial Internet of Things Cybermanufacturing Systems / edited by Sabina Jeschke, Christian Brecher, Houbing Song, Danda B. Rawat.

Published 2017

Table of Contents: '; “... for Manufacturing -- Model-Based Engineering of Supervisory Controllers for Cyber- Physical Systems -- Formal...”
Get full text

17

Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / edited by Alexander Romanovsky, Elena...

Published 2019

Table of Contents: '; “...Formal Verification -- Towards Zero Alarms in Sound Static Analysis of Finite State Machines...”
Get full text

18

Formal Techniques for Distributed Objects, Components, and Systems 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conferenc...

Published 2021

Table of Contents: '; “... Model Checker on GPU -- Formal verification of HotStuff -- Better Late than Never or: Verifying...”
Get full text

19

Formal Methods: Foundations and Applications 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings / edited by Gustavo Carvalho, Volker Stolz....

Published 2020

Table of Contents: '; “...Invited Talks -- Formal Verification of Neural Networks? -- Navigating the Universe of Z3 Theory...”
Get full text

20

Logic, Language, and Security Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / edited by Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, S...

Published 2020

Table of Contents: '; “... Group -- Formal Verification of Ethereum smart contracts using Isabelle/HOL -- Logic and Application...”
Get full text

Narrow Search