A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A flexible formal verification framework for industrial scale validation
2011
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)
Preserved Fulltext
Besides expanding their validation and CAD tools teams, they have incorporated formal verification methods into their design flows. ...
This paper describes the formal verification framework we have built on top of publicly-available tools. ...
Niklas Een gave us an early access to Berkeley ZZ and provided the means to integrate his tool in our framework and enabled SAT result verification. ...
doi:10.1109/memcod.2011.5970515
dblp:conf/memocode/SlobodovaDSH11
fatcat:5vahhzcds5falllz5xqsvqraqq
Towards Integration of Modeling Methods for Cyber-Physical Systems
2015
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
To enable my approach I develop a model-view consistency support framework, an analysis contracts framework, and a verification method for multi-model integration properties. ...
Flexibility of graph annotations enables customization for each model and a variety of possible consistency verification methods [17] . ...
dblp:conf/models/Ruchkin15a
fatcat:xgrqnxbndzfnzizkhxgi6kfstq
Practical formal verification in microprocessor design
2001
IEEE Design & Test of Computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our methodology addresses this problem by tailoring a formal, custom-built verification framework, Forte, to industrial-scale circuits and industrial design environments. ...
His research interests include software architectures for formal-methods tools, industrial-scale hardware verification, combined model checking and theorem proving, and integration of formal verification ...
Missing or Damaged Copies If you did not receive an issue or you received a damaged copy, contact help@computer.org. ...
doi:10.1109/54.936245
fatcat:wasuwsfdffgnboeyfpyu47tjvy
A Survey of Formal Verification for Business Process Modeling
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
They have defined semantics of the models and applied various logics and formal methods to verification of the rigorousness. ...
This paper focuses on formal verification of the models and surveys the efforts. We also discuss the prospect of the solutions. ...
Their advantage is a flexible description for communication services among distributed systems, extending I/O automata. ...
doi:10.1007/978-3-540-69387-1_58
fatcat:thdl3ghdcrc2bnzqtih6czsyzi
Relational STE and theorem proving for formal verification of industrial circuit designs
2013
2013 Formal Methods in Computer-Aided Design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Model checking by symbolic trajectory evaluation, orchestrated in a flexible functional-programming framework, is a well-established technology for correctness verification of industrial-scale circuit ...
We illustrate the effectiveness of this combination of technologies by describing a general framework, accessible to non-experts, that is widely used for verification and regression validation of integer ...
These features give a seamless connection between simulation and verification, as well as comprehensive feedback on failed properties-two key elements of an effective methodology for large-scale formal ...
doi:10.1109/fmcad.2013.6679397
fatcat:76aebjztijc5tmbhzzixkjtuwu
Introduction to Track on Engineering Virtualized Services
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Virtualization is a key technology enabler for cloud computing. ...
Current software development methods, however, do not support the modeling and validation of services running on virtualized resources in a satisfactory way. ...
[4] concentrates on formal verification of functional aspects of service contracts: it presents a technique for compositional verification in presence of constant evolutionary changes to the verification ...
doi:10.1007/978-3-662-45231-8_1
fatcat:grvfa7lsqvdd3b2chd3xpd6cqu
Thematic series on Verification and Composition for the Internet of Services and Things
2018
Journal of Internet Services and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This calls for new integration paradigms and patterns, formal composition theories, integration architectures, as well as flexible and dynamic composition and verification mechanisms. ...
In particular, service-and thing-based systems pose new challenges for software composition and verification techniques, due to changing requirements, emerging behaviors, uncertainty, and dynamicity. ...
for industry. ...
doi:10.1186/s13174-018-0080-9
fatcat:7227taphwvc6ljb5aygsuv3p6a
Editorial to the theme section on model-based engineering of smart systems
2019
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We thank the participants in our workshop for the stimulus to develop this theme issue. ...
We are very grateful to the SoSyM editors and editorial office, notably Martin Schindler, for help and support in preparing this theme issue. ...
In A Framework for FMI-based Co-Simulation of Human-Machine Interfaces, Maurizio Palmieri, Cinzia Bernardeschi and Paolo Masci present a framework that allows formal methods experts to create interactive ...
doi:10.1007/s10270-019-00758-5
fatcat:pojl34szfrgm7f22cp2o7yvame
Design and validation of distributed control with decentralized intelligence in process industries: A survey
2008
2008 6th IEEE International Conference on Industrial Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Therefore when handling validation of distributed systems, hybrid verification and simulation will have an important role. ...
This paper presents an overview of the works on design and validation of distributed control in process industry. ...
Formal verification via modelchecking provides evidences to prove a for all cases. ...
doi:10.1109/indin.2008.4618322
fatcat:2pw7fc3avfg2lmmfz5kwmcmusu
MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We briefly present the MegaM@Rt2 concepts, discuss our approach for open source, enumerate tools and give an example of a tools selection for a specific industrial context. ...
Our goal is to introduce the reader with open source tools for the model-based engineering of CPSs suitable for diverse industrial applications. ...
Acknowledgments This work has received funding from the Electronic Component Systems for European Leadership Joint Undertaking under grant agreement No 737494. ...
arXiv:2003.07223v1
fatcat:yc6csemsznee7cddco6etba7ti
MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs
[chapter]
2020
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We briefly present the MegaM@Rt2 concepts, discuss our approach for open source, enumerate tools and give an example of a tools selection for a specific industrial context. ...
Our goal is to introduce the reader with open source tools for the model-based engineering of CPSs suitable for diverse industrial applications. ...
This allowed technology providers to raise the tools proposed in the MegaM@Rt2 framework to an industrial scale. ...
doi:10.1007/978-3-030-47240-5_18
fatcat:2smh35en7jebleybak62fzd5de
Efficient Mutation Killers in Action
2011
2011 Fourth IEEE International Conference on Software Testing, Verification and Validation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
large scale projects. ...
Model-based testing is a light-weight formal method which enables the automatic derivation of tests from software models and their environment. ...
not with formal verification but with optimization for performance in mind? ...
doi:10.1109/icst.2011.57
dblp:conf/icst/AichernigBJK11
fatcat:vl3ur4bcxzcjhp32qslqmtatry
Intelligent Systems and Formal Methods in Software Engineering
2006
IEEE Intelligent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our understanding of the concept of a proof goes back to the Greek philosophers Pythagoras and Aristotle. ...
Tony Hoare, a pioneer in the field, convincingly argues that we've reached the point where we can solve the problem of how to formally verify industrial-scale software. ...
The framework features a collection of techniques for constructing refinements based on formal representations of programming knowledge. ...
doi:10.1109/mis.2006.117
fatcat:e3gffxrewbhubelnmkv7rvrf7i
10.1.1 Toward an Evolutionary System of Systems Architecture
2008
INCOSE International Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
A key problem is the lack of a formal framework from which the development and management of SoS architectures can be studied. ...
While recent advances in computing/communications technology have enabled the development and managed evolution of large scale system of systems (SoS) applications, lessons learned from industry indicate ...
The networks use algorithms to pick the best one, and automatically reconfigure when a path breaks. Example 2: Mechanisms for Formal Validation and Verification. ...
doi:10.1002/j.2334-5837.2008.tb00863.x
fatcat:5kgtqkz7t5g2pka3qspbixn7te
The SafeCap Platform for Modelling Railway Safety and Capacity
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
His research interests include agent systems, formal methods for software engineering and tools and environments supporting modelling and proof. Abstract. ...
The tool uses the Eclipse technology, including its EMF and GMF frameworks. ...
We are grateful to Simon Chadwick and Dominic Taylor for their comments on the earlier drafts of the paper. ...
doi:10.1007/978-3-642-40793-2_12
fatcat:gaybifnlcrgdplogcpicg5fbia
« Previous
Showing results 1 — 15 out of 29,629 results