Formal methods in computer science

DOI10.1201/9780429184185zbMATH Open1436.68002OpenAlexW2959879502MaRDI QIDQ4633947FDOQ4633947

Authors: Jiacun Wang, William M. Tepfenhart 

Publication date: 6 May 2019

Full work available at URL: https://doi.org/10.1201/9780429184185

Recommendations

• Temporal logics in computer science. Finite-state systems
• Concise guide to formal methods. Theory, fundamentals and industry applications
• Petri nets. Theoretical models and analysis methods for concurrent systems
• Formal methods. An appetizer
• scientific article; zbMATH DE number 1646978

zbMATH Keywords

model checkingformal languagesnatural deductionPetri netsformal verificationfinite state machinesgrammarsregular expressionstemporal logics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Glushkov's algorithmic algebras and automated parallel computing design
• Title not available (Why is that?)
• Formal methods. An appetizer
• Title not available (Why is that?)
• Concise guide to formal methods. Theory, fundamentals and industry applications
• Title not available (Why is that?)

This page was built for publication: Formal methods in computer science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4633947)