Trends in system safety: a European view?
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance
Proceedings of the 16th IEEE international conference on Automated software engineering
Buffer optimization in multitask implementations of Simulink models
ACM Transactions on Embedded Computing Systems (TECS)
On the Formal Development of Safety-Critical Software
Verified Software: Theories, Tools, Experiments
Mechanised Translation of Control Law Diagrams into Circus
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Supporting ArcAngel in ProofPower
Electronic Notes in Theoretical Computer Science (ENTCS)
A Hoare logic for single-input single-output continuous-time control systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Stepwise development of simulink models using the refinement calculus framework
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A tactic language for refinement of state-rich concurrent specifications
Science of Computer Programming
Architectural verification of control systems using CSP
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Three perspectives in formal engineering
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Applying timed interval calculus to simulink diagrams
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Communication systems in clawz
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Control law diagrams in circus
FM'05 Proceedings of the 2005 international conference on Formal Methods
Proving properties of stateflow models using ISO standard z and CADiZ
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Refinement-oriented models of Stateflow charts
Science of Computer Programming
A tool chain for the automatic generation of circus specifications of simulink diagrams
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
The art and science of software architecture
ECSA'07 Proceedings of the First European conference on Software Architecture
Automated verification of code automatically generated from Simulink®
Automated Software Engineering
Formal analysis of steady state errors in feedback control systems using HOL-light
Proceedings of the Conference on Design, Automation and Test in Europe
Simulink timed models for program verification
Theories of Programming and Formal Methods
| Hi-index | 0.00 |
This paper presents a formal method for synthesizing multilayered regular processor arrays from algorithm specification. Multilayered array is a structure where 2-D sub-arrays are connected into 3-D array only by one edge and thus, fits, for example, ...