238 results on '"MANDRIOLI, DINO"'
Search Results
202. Composing Invariants
203. Generating Counterexamples for Multi-valued Model-Checking
204. A Formal Framework for Modular Synchronous System Design
205. Java Applet Correctness: A Developer-Oriented Approach
206. Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems
207. Team Automata Satisfying Compositionality
208. Refinement and Verification of Synchronized Component-Based Systems
209. Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle
210. Certifying and Synthesizing Membership Equational Proofs
211. A Strategy for Compiling Classes, Inheritance, and Dynamic Binding
212. Mapping Statecharts to Verilog for Hardware/Software Co-specification
213. Synthesis and Verification of Constraints in the PGM Protocol
214. Proving the Correctness of Simpson’s 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method
215. Compositional Verification of an ATM Protocol
216. Improving Safety Assessment of Complex Systems: An Industrial Case Study
217. Verifying Emulation of Legacy Mission Computer Systems
218. Determining the Specification of a Control System from That of Its Environment
219. A Topological Characterization of TCP/IP Security
220. Managerial Issues for the Consideration and Use of Formal Methods
221. Adaptable Translator of B Specifications to Embedded C Programs
222. SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
223. Correctness of Source-Level Safety Policies
224. Proving the Shalls
225. Structuring Retrenchments in B by Decomposition
226. Design of an Automatic Prover Dedicated to the Refinement of Database Applications
227. Looking Back to the Future : Thoughts on Paradigm Shift in Software Development
228. ProB: A Model Checker for B
229. Checking and Reasoning about Semantic Web through Alloy
230. Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study
231. Past, Present, and Future of SRA Implementation of CafeOBJ : Annex
232. Program Checking with Certificates: Separating Correctness-Critical Code
233. Model Checking FTA
234. On Failures and Faults
235. Trends in Software Verification
236. Event Based Sequential Program Development: Application to Constructing a Pointer Program
237. Software engineering concepts: R. Fairley McGraw-Hill, 1985, 364pp., £30.50 hardback, ISBN 07 019902 7
238. Correctness of Source-Level Safety Policies
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.