default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th SBMF 2022: Virtual Event
- Lucas Lima
, Vince Molnár:
Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings. Lecture Notes in Computer Science 13768, Springer 2022, ISBN 978-3-031-22475-1
Model Checking and Semantics
- Neda Saeedloei, Feliks Kluzniak:
An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata. 3-21 - Mohamed Abdelghany, Sofiène Tahar:
Formalization of Functional Block Diagrams Using HOL Theorem Proving. 22-35
Generation and Synthesis
- Maycon Amaro, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro:
A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. 39-54 - Luciano Silva, Marcel Oliveira:
Automatic Generation of Verified Concurrent Hardware Using VHDL. 55-72 - Maksym Bortin:
Synthesis of Implementations for Divide-and-Conquer Specifications. 73-88
Verification and Solvers
- Joabe Jesus, Augusto Sampaio:
Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover. 91-108 - Geoff W. Hamilton, Benjamin Aziz:
Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication. 109-123 - Matthias Güdemann, Klaus Riedl:
Level-Up - From Bits to Words. 124-142
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-27 02:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
