Program Semantics, Specification and Verification: Theory and Applications. Proceedings of the IV International Workshop PSSV 2013. Yekaterinburg, Russia, June 24, 2013
Яр. : Yaroslavl State University, 2013.
Academic editor: Nepomniaschy V., Sokolov V.
Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop are dedicated to formalisms for program semantics, formal models and verication, programming and specification languages, etc.
, Lomazova I. A., , in : Program Semantics, Specification and Verification: Theory and Applications. Proceedings of the IV International Workshop PSSV 2013. Yekaterinburg, Russia, June 24, 2013. : Yaroslavl : Yaroslavl State University, 2013. P. 11-20.
Workflow Petri nets with an additional (unbounded) resource place are studied. Resource tokens can be consumed and/or produced by transitions, hence a net can have an infinite number of different reachable states. A net with a certain initial resource is called sound if it properly terminates and, moreover, adding any extra initial resource does not ...
Added: July 14, 2013
Research target: Computer Science
Priority areas: IT and mathematics
Concurrency, Specification and Programming. CS&P 2014. Proceedings of the 23th International Workshop on Concurrency, Specification and Programming. Chemnitz, Germany, September 29 - October 1, 2014.
Berlin : Humboldt University of Berlin, 2014
This volume contains the papers presented at CS&P 2014: 23th International Workshop on Concurrency, Specification and Programming held on September 28 - October 1, 2014 in Chemnitz. Since the early seventies Warsaw University and Humboldt-University have alternately organized an annual workshop - since 1993 as CS&P. Over time, it has grown from a bilateral seminar ...
Added: October 24, 2014
Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016.
Humboldt-Universität zu Berlin, 2016
This volume contains the papers presented at CS&P 2016, the 25th International Workshop on Concurrency, Speciﬁcation and Programming, held on September 28 - 30, 2016 in Rostock, Germany. Since the early seventies Warsaw University and Humboldt University have alternately organized an annual workshop - since the early nineties known as CS&P. Over time, it has ...
Added: October 13, 2016
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as ...
Added: November 12, 2018
Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018
Yaroslavl : Ярославский государственный университет им. П.Г. Демидова, 2018
Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the ninth workshop dedicated to formalisms for program semantics, formal models and verification, programming and specification languages, algebraic and logical aspects of programming. ...
Added: October 26, 2018
, , et al., Труды Института системного программирования РАН 2016 Т. 28 № 6 С. 87-102
ARM is a family of microprocessor instruction set architectures developed in a company with the same name. The newest architecture of this family, ARMv8, contains a large number of instructions of various types and is notable for its complex organization of virtual memory, which includes hardware support for multilevel address translation and virtualization. All of ...
Added: November 24, 2017
Third International Conference on the History and Philosophy of Computing [HaPoC 2015]. October 8-11, 2015. Pisa, Italy. Preliminary Proceedings
Piza : Pisa University Press, 2015
Volume contains papers presented during the symposium. They display very well polimorphism of modern computing. ...
Added: March 15, 2016
This volume contains the papers to be presented at VPT 2014: Second International Workshop on Verification and Program Transformation to be held on July 17-18, 2014 in Vienna. The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014. ...
Added: August 10, 2014
Application and Theory of Petri Nets and Concurrency. 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings
Berlin : Springer, 2014
This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 ...
Added: July 3, 2014
CEUR Workshop Proceedings, 2016
These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’16) in Torun, Poland, June 20–21, 2016. It is a co-located event of • Petri Nets 2016 – the 37th International Conference on Applications and Theory of Petri Nets and Concurrency and • ACSD 2016 – the 16th International Conference on ...
Added: June 27, 2016
, , Бизнес-информатика 2013 № 2 С. 55-62
For an comprehensive evaluation of individual work of software developers this paper suggests the method of assigning priorities. It also describes approaches to factors which affect the assessment of work of software developers, ranging of these factors and ranging of software developers by these factors. The suggested methodology can be used for making management accounts ...
Added: June 27, 2013
, , , International Journal "Information Models and Analyses" 2013 Vol. 2 No. 1 P. 70-80
This paper focuses on the problem of validation and verification of computer network simulation models. Authors propose to use special linguistic and program tools of CAD system TriadNS in this case. First of all it should be noted that TRiadNS is a computer system which was developed for computer network design. Simulation is the main ...
Added: February 28, 2015
, Известия высших учебных заведений. Физика 2016 Т. 59 № 8-2 С. 97-100
The paper proposes a method of automated construction of behavior models of microprocessors, which are used in the process of test program generation to predict the results. The proposed method is based on using formal specifications of instruction set architecture. The method is implemented in MicroTESK, a test program generation tool being developed at ISP ...
Added: February 2, 2018
Комбинаторная генерация тестовых программ для микропроцессоров на основе формальных спецификаций системы команд
, Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2016 Т. II С. 38-45
Test program generation and simulation is the most widely used approach to functional verification of microprocessors. Functional verification is a quite time consuming process. According to various estimates, it accounts for more than 70% of overall resources spent on designing a new microprocessor. This can be explained by the fact that modern hardware designs have ...
Added: December 12, 2017
, , et al., Проблемы развития корабельного вооружения и судового радиоэлектронного оборудования 2015 № 4 С. 92-100
The paper discusses the methods and technologies used in the development of special software for control panel of shipboard laser complex (SLC) and a set of software simulators information flows generated by the equipment SLC interaction with the control panel. ...
Added: November 18, 2015
, , et al., Programming and Computer Software 2015 Vol. 41 No. 6 P. 325-335
Checking the correctness of distributed systems is one of the most difficult and urgent problems in software engineering. A combined toolset for the verification of real-time distributed systems (RTDS) is described. RTDSs are specified as statecharts in the Universal Modeling Language (UML). The semantics of statecharts is defined by means of hierarchical timed automata. The ...
Added: October 13, 2015
Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. Proceedings
University of Rzeszow, 2015
Added: October 11, 2015
, , , Software Quality Journal 2019 Vol. 27 No. 2 P. 497-499
Testing is one of the most frequently used techniques in practice to assure the quality and thereliability of software systems. It is used not only during the development of such systemsbut also during their operation. Over the last years, new testing technologies appeared forchecking both functional and non-functional requirements of systems. Application areas ofthese technologies ...
Added: October 31, 2019
Bialystok : Bialystok University of Technology, 2013
This volume contains the Proceedings of 22nd Concurrency, Specification and Programming (GS&P) Workshop held on September 25-27, 2013 in Warsaw. There were 48 submissions. Each submission was reviewed by two program committee members. The committee decided to accept 40 papers. The Workshop was initiated in the mid 1970s by computer scientists and mathematicians from Warsaw ...
Added: September 30, 2013
The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs.
, , , Information Processing Letters 2017 Vol. 127 P. 49-53
In this paper, we address the problem of setting a deterministic Finite State Machine (FSM) to a designated initial state. Differently from other papers, we propose to use adaptive synchronizing sequences (test cases) for this purpose and show that for weakly-connected deterministic complete reduced FSMs the problem of checking the existence of an adaptive synchronizing ...
Added: October 31, 2018
, , Journal of Physics: Condensed Matter 2013 Vol. 25 No. 22 P. 1-10
We investigate the multiquantum vortex states in a type-II superconductor in both 'clean' and 'dirty' regimes defined by impurity scattering rate. Within a quasiclassical approach we calculate self-consistently the order parameter distributions and electronic local density of states (LDOS) profiles. In the clean case we find the low temperature vortex core anomaly predicted analytically by ...
Added: November 19, 2013
, , , Automatic Control and Computer Sciences 2014 Vol. 48 No. 7 P. 398-406
Software-dened networking (SDN) is an approach to building computer net- works that separate and abstract data planes and control planes of these systems. In a SDN a centralized controller manages a distributed set of switches. A set of open commands for packet forwarding and ow-table updating was dened in the form of a protocol known ...
Added: September 30, 2015
, , Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115-136
Nested Petri nets (NP-nets) have proved to be one of the convenient formalisms for distributed multi-agent systems modeling and analysis. It allows representing multi-agent systems structure in a natural way, since tokens in the system net are Petri nets themselves, and have their own behavior. Multi-agent systems are highly concurrent. Verification of such systems with model ...
Added: October 21, 2016
, , , Нано- и микросистемная техника 2014 № 12 С. 30-36
Every SoC design center has its own design flow, i.e. process of chip designing, testing, verification and production. The design flow depends on many factors: a finance possibility, personal's quality and even traditions in the firm. As SoC production is very expensive task, every firm try to produce good chip on the first iteration. So ...
Added: February 4, 2015
An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms
, , , Proceedings of the Institute for System Programming of the RAS 2015 Vol. 27 No. 3 P. 125-138
A memory subsystem is one of the key components of a microprocessors. It consists of a number of storage devices (instruction buffers, address translation buffers, multilevel cache memory, main memory, and others) organized into a complex hierarchical structure. Huge state space of a memory subsystem makes its functional verification extremely labor consuming. Nowadays, the main ...
Added: December 10, 2017