Suggested Topics within your search.
Software engineering 16 Computer logic 13 Logics and Meanings of Programs 13 Software Engineering 11 Software Engineering/Programming and Operating Systems 9 Mathematical Logic and Formal Languages 8 Mathematical logic 8 more ...
Software engineering 16 Computer logic 13 Logics and Meanings of Programs 13 Software Engineering 11 Software Engineering/Programming and Operating Systems 9 Mathematical Logic and Formal Languages 8 Mathematical logic 8 more ...
1
Published 2017
Table of Contents: ';
“...Automated verification techniques -- Testing and scheduling -- Formal Methods for mobile...”Get full text
2
3
Table of Contents: ';
“... Supply Voltages -- Placement for Power Optimization -- Power Gating Design Automation -- Verification...”
Get full text
Get full text
4
Published 2008
Table of Contents: ';
“... the Calculus of Relations -- Session 3: Automated Verification -- Towards SMT Model Checking of Array-Based...”Get full text
5
6
Published 2019
Table of Contents: ';
“... -- Automated Verification of E-Commerce Protocols for Complex Transactions -- Intellectual Property Protection...”Get full text
7
Published 2013
Table of Contents: ';
“... in Software Requirements -- Automated Verification of Variability Model Using First Order Logic -- Model-based...”Get full text
8
Published 2019
Table of Contents: ';
“... and Reductions for Automated Verification -- Symbolic Analysis of Terrorist Fraud Resistance -- Secure...”Get full text
9
Published 2020
Table of Contents: ';
“... Smart Contracts -- Automated Verification of Embedded Control Software - Track Introduction -- Model...”Get full text
10
Published 2018
Table of Contents: ';
“... Dynamic Reconfigurable Systems -- Automating Verification of State Machines with Reactive Designs...”Get full text
11
Published 2008
Table of Contents: ';
“...-Oriented Applications -- Model Classifications and Automated Verification -- An Approach to Formalization...”Get full text
12
Published 2007
Table of Contents: ';
“... with DISCOVERER and QEPCAD -- Harnessing rCOS for Tool Support —The CoCoME Experience -- Automating Verification...”Get full text
13
Published 2007
Table of Contents: ';
“... Foundation for Formal Specifications -- Automated Verification of Security Policies in Mobile Code -- Slicing...”Get full text
14
15
16
Published 2008
Table of Contents: ';
“... Automata -- Session 4. Real-Time and Concurrency -- Automated Verification of Dense-Time MTL Specifications...”Get full text
17
Published 2013
Table of Contents: ';
“...Invited Papers.-Acceleration for Petri Nets -- Automated Verification and Strategy Synthesis...”Get full text
18
19